BêtaRare
leanprover-community/physlib
A project to digitalise results from physics into Lean.
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 817
- Forks
- Forks : 218
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- leanphysicstheorem-proving
- Rang
- Bêta (700 à 1 999 ★) 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/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta
- anthropics/fermats-last-theoremÉtoiles : 1 295LeanBêta
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- google-deepmind/superhumanÉtoiles : 806LeanBêta
- leanprover/cslibÉtoiles : 786LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha