JonPRL Tutorial – Proof Assistant for Computational Type Theoryjozefg.bitbucket.org2 points·jonsterling··0 commentsOpen articleSaveView on HN