Telescopic proof refinement

[maki.mukai]

Publish date: January 2, 2018

Read the blog post by Rebecca Valentine here:

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

Leave your comments and thoughts below.