maiavictor/formality
A modern proof language
102 best points · 23 comments · 2 Hacker News posts · 3,762 GitHub stars · View on GitHub
Hacker News discussions
- Formality – An efficient programming language and proof assistant (102 points, 23 comments, by maiavictor, 2018-10-16)
- Formality: An efficient programming language and proof assistant (3 points, 0 comments, by somedudeatwork, 2018-10-19)