Home Unlabelled Formality, a (proof)gramming language featuring optimal reductions

Formality, a (proof)gramming language featuring optimal reductions

By
Tuesday, September 10, 2019
Read
Add Comment

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

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us