Bidirectional proof refinement

Publish date: May 16, 2017

Read the blog post by Rebecca Valentine here:

https://cardano.org/en/news/bidirectional-proof-refinement/

Leave your comments and thoughts below.