Formality, a (proof)gramming language featuring optimal reductionsgithub.com/moonad27 pointsLightMachine7 years ago