AlphaPeu commune
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
- Propriétaire
- PatrickMassot (compte personnel)
- Étoiles
- Étoiles : 399
- Forks
- Forks : 65
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2021
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de PatrickMassot
Les 3 dépôts de PatrickMassot- PatrickMassot/GlimpseOfLeanÉtoiles : 428LeanAlpha
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype
D’autres dépôts Python
Tous les dépôts Python- open-webui/oikbÉtoiles : 399PythonAlpha
- beijingcao/binance-deribit-btcÉtoiles : 399PythonAlpha
- EMERGE-Policy/EMERGE-PolicyÉtoiles : 399PythonAlpha
- Kentzo/git-archive-allÉtoiles : 399PythonAlpha
- jazzband/django-downloadviewÉtoiles : 399PythonAlpha
- jensengroup/propkaÉtoiles : 399PythonAlpha