Introduction to Formality, a minimal, parallel “proof”gramming languagemedium.com2 points·LightMachine··0 commentsOpen articleSaveView on HN