2 ms·Introduction to Formality, a minimal, parallel “proof”gramming language2 points by LightMachine 7y ago