JonPRL Tutorial – Proof Assistant for Computational Type Theoryjozefg.bitbucket.org2 pointsjonsterling11 years ago