Proof refinement basics

English News and Announcements
,
1

Publish date: March 7, 2017

Read the blog post by Rebecca Valentine here:

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

Leave your comments and thoughts below.