Top New Best Ask Show Jobs

Proof Refinement Basics | Hacker News Reader

Proof Refinement Basics

iohk.io

52 points·kushti··2 comments

Open articleView on HN

The promised next post is here: http://languagengine.co/blog/bidirectional-proof-refinement/

Yeah, we're cross posting from my blog to the official IOHK blog, too. The first post only just got up on IOHK :p

Reply on news.ycombinator.com