4 ms·Formality: An efficient programming language and proof assistant3 points by somedudeatwork 8y ago