leanprover-community

leanprover-community

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
540 Stars
153 Forks
18 Watchers

Repositories (2)

vscode-lean4 leanprover/vscode-lean4 TypeScript

VS Code extension for the Lean 4 programming language and theorem prover

313
ProofWidgets4 leanprover-community/ProofWidgets4 Lean

Helper toolkit for creating your own Lean 4 UserWidgets

227