LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

TypeScript

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

TypeScriptEmerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
2mo ago

Recent commits

Latest commits.

  • fix: remove html highlighting from markdown grammar (#770)
    01a7fc9Marc Huisinga2mo ago
  • fix: auto-closing bracket abbreviation (#775)
    9ca2a82Marc Huisinga2mo ago
  • fix: another markdown grammar bug (#773)
    976a025Marc Huisinga2mo ago
  • chore: add file icons for "lean" language id as well (#772)
    d9a6701Marc Huisinga2mo ago
  • Release 0.0.235 (pre-release)
    dd686d7github-actions[bot]2mo ago
feat: picker-based input method for abbreviations in non-editor contexts (#762)
3861510Marc Huisinga2mo ago
  • feat: client-side support for incremental diagnostics (#752)
    d6087e8Marc Huisinga2mo ago
  • chore: bump @leanprover/unicode-input to 0.1.10 (#769)
    79a7588github-actions[bot]2mo ago

    • Top contributors

    Builders behind this project.

    gebner
    812 commits
    mhuisi
    423 commits
    Vtec234
    289 commits
    EdAyers
    220 commits
    marianaalanis93
    164 commits
    jroesch
    77 commits
    bryangingechen
    63 commits
    johoelzl
    22 commits