leanprover-community
Organization@leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
leanprover-community.github.io/ On GitHub since July 2018
1
Published Tools
0
Total Stars
0
Weekly Downloads
764
GitHub Followers
93
Public Repos
Published Tools
1 Skillacross 1 categoryhighlightjs-lean
bryangingechen
A highlightjs language grammar for the Lean theorem proving language.
SkillAI Tool
1 dir