Home › Hacker News › New top story on Hacker News: Formality – An efficient programming language and proof assistant

New top story on Hacker News: Formality – An efficient programming language and proof assistant

New top story on Hacker News: Formality – An efficient programming language and proof assistant

By new Thursday, October 18, 2018 Comment Edit

Formality – An efficient programming language and proof assistant
70 by maiavictor | 18 comments on Hacker News.

0 Response to "New top story on Hacker News: Formality – An efficient programming language and proof assistant"

Post a Comment

Subscribe to: Post Comments (Atom)