Formality – An efficient programming language and proof assistantgithub.com/maiavictor102 pointsmaiavictor8 years ago