leanprover-community

leanprover-community

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
414 Stars
130 Forks
414 Watchers

Repositories (2)

vscode-lean4 leanprover/vscode-lean4 TypeScript

Visual Studio Code extension for the Lean 4 proof assistant

268
ProofWidgets4 leanprover-community/ProofWidgets4 Lean

Helper toolkit for creating your own Lean 4 UserWidgets

146