1 result found Sort:

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Created 2018-02-06
2,340 commits to master branch, last one 2 years ago