New top story on Hacker News: Formality – An efficient programming language and proof assistant
Formality – An efficient programming language and proof assistant
70 by maiavictor | 18 comments on Hacker News.
70 by maiavictor | 18 comments on Hacker News.
No comments