proof-refinement-basics This is the companion repository for the blog post http://languagengine.co/blog/proof-refinement-basics/