Utensil's monorepo for formalization, e.g. Lean, Aya
HTML Updated about 2 months ago 1 commits 5 stars
helix-ai|Mirror: utensil/formal-land (⭐5)
about 2 months agoAbout
Utensil's monorepo for formalization, e.g. Lean, Aya
Readme
5 stars
2 forks
Utensil's monorepo for formalization, e.g. Lean, Aya
Utensil's monorepo for formalization, e.g. Lean, Aya