discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Formality – An efficient programming language and proof assistant
https://github.com/maiavictor/formality
23 comments
16/10/2018
Reddit
Formality: An efficient programming language and proof assistant
https://github.com/maiavictor/formality
16 comments
18/10/2018
rust