andrejbauer/faux-type-theory
3 best points · 1 comments · 1 Hacker News post · 65 GitHub stars · View on GitHub
Hacker News discussions
- Faux Type Theory: three minimalist OCaml simple proof checker implementations (3 points, 1 comments, by matt_d, 2025-09-13)