JonPRL Tutorial – Proof Assistant for Computational Type Theoryhttp://jozefg.bitbucket.org/posts/2015-07-06-jonprl.html by jonsterling • 11 years ago 2 0 11 years agoJOjozefg.bitbucket.org