PrototypeCommon
leanprover-community/LeanProject
A template for blueprint-driven formalization projects in Lean.
- Owner
- leanprover-community (organization)
- Stars
- Stars: 119
- Forks
- Forks: 17
- Language
- Python
- License
- Apache-2.0
- Created
- 2024
- Topics
- formal-mathematicslean-theorem-proverlean4lean-blueprintformalisation-mathematicsproof-assistanttheorem-provingformalised-mathematicsmathematical-programmingmathematics
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,405LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 817LeanBeta
- leanprover-community/mathematics_in_leanStars: 624HTMLAlpha
- leanprover-community/lean4gameStars: 575TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Python
All Python repos- innayakendya/DraftTapStars: 119PythonPrototype
- BaoZ-XHG/MaiMen-SaverStars: 119PythonPrototype
- tian1326/mcd-coupon-assistantStars: 119PythonPrototype
- rnk/django-media-bundlerStars: 119PythonPrototype
- pnegre/python-whiteboardStars: 119PythonPrototype
- powdahound/redis-collectd-pluginStars: 119PythonPrototype