Home Unlabelled Formality – An efficient programming language and proof assistant

Formality – An efficient programming language and proof assistant

By
Thursday, October 18, 2018
Read
Add Comment

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

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us