Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com/andrejbauer
3 points
matt_d
9 months ago
1 comment
Loading...
Faux Type Theory: three minimalist OCaml simple proof checker implementations | Heykuki News