leanprover-community

leanprover-community

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
471 Stars
136 Forks
471 Watchers

Repositories (2)

vscode-lean4 leanprover/vscode-lean4 TypeScript

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

271
ProofWidgets4 leanprover-community/ProofWidgets4 Lean

Helper toolkit for creating your own Lean 4 UserWidgets

200