GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ moonad
Top 1 moonad open source projects
Kind
A modern proof language
✭ 2,075
javascript
scheme
haskell
Nix
HTML
Makefile
functional-programming
lambda-calculus
type-theory
theorem-prover
formality
moonad
proof-language
proof-languages
1-1
of
1
moonad projects
