AlphaUncommon
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
- Owner
- PatrickMassot (personal account)
- Stars
- Stars: 399
- Forks
- Forks: 65
- Language
- Python
- License
- Apache-2.0
- Created
- 2021
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by PatrickMassot
All 3 repos by PatrickMassot- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
Nearby in Python
All Python repos- beijingcao/binance-deribit-btcStars: 399PythonAlpha
- LuQTest/Big-A-chovyStars: 399PythonAlpha
- EMERGE-Policy/EMERGE-PolicyStars: 399PythonAlpha
- jazzband/django-downloadviewStars: 399PythonAlpha
- davidcrawford/chronicStars: 399PythonAlpha
- fdemmer/django-weasyprintStars: 399PythonAlpha