PrototypeCommune
leanprover-community/LeanProject
A template for blueprint-driven formalization projects in Lean.
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 119
- Forks
- Forks : 17
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- formal-mathematicslean-theorem-proverlean4lean-blueprintformalisation-mathematicsproof-assistanttheorem-provingformalised-mathematicsmathematical-programmingmathematics
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
D’autres dépôts Python
Tous les dépôts Python- innayakendya/DraftTapÉtoiles : 119PythonPrototype
- BaoZ-XHG/MaiMen-SaverÉtoiles : 119PythonPrototype
- tian1326/mcd-coupon-assistantÉtoiles : 119PythonPrototype
- rnk/django-media-bundlerÉtoiles : 119PythonPrototype
- pnegre/python-whiteboardÉtoiles : 119PythonPrototype
- powdahound/redis-collectd-pluginÉtoiles : 119PythonPrototype