Formality: An efficient programming language and proof assistantgithub.com/MaiaVictor3 pointssomedudeatwork8 years ago