3 ms·

Proof Refinement Basics

52 points by kushti 10y ago

yorwba 10y ago
The promised next post is here: http://languagengine.co/blog/bidirectional-proof-refinement/ http://languagengine.co/blog/bidirectional-proof-refinement/
- psygnisfive 10y ago
  Yeah, we're cross posting from my blog to the official IOHK blog, too. The first post only just got up on IOHK :p