AlphaUncommon
litexlang/golitex
Litex: write math, get formalized code. Because the math already is.
- Owner
- litexlang (organization)
- Stars
- Stars: 685
- Forks
- Forks: 10
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Topics
- formal-languagesgolangaimathaiforsciencereasoninglitex
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- google-deepmind/superhumanStars: 808LeanBeta
- leanprover/cslibStars: 793LeanBeta
- uwdb/CosetteStars: 690LeanAlpha
- AndrasKovacs/smallttStars: 611LeanAlpha
- teorth/equational_theoriesStars: 564LeanAlpha
- lecopivo/SciLeanStars: 542LeanAlpha