GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ uwu-tech
1 open source projects by uwu-tech
[ Open user page on Github ]
1.
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
user projects