New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions

Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.