Formality: An efficient programming language and proof assistant #1 Post by somedudeatwork » Fri, Oct 19, 2018, 3:14 PM UTC Formality: An efficient programming language and proof assistantgithub.com