AlphaPeu commune
litexlang/golitex
Litex: write math, get formalized code. Because the math already is.
- Propriétaire
- litexlang (organisation)
- Étoiles
- Étoiles : 683
- Forks
- Forks : 10
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- formal-languagesgolangaimathaiforsciencereasoninglitex
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- google-deepmind/superhumanÉtoiles : 807LeanBêta
- leanprover/cslibÉtoiles : 789LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- teorth/equational_theoriesÉtoiles : 563LeanAlpha
- lecopivo/SciLeanÉtoiles : 540LeanAlpha