uwplse / pumpkin-piLinks

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
49Updated last month

Alternatives and similar repositories for pumpkin-pi

Users that are interested in pumpkin-pi are comparing it to the libraries listed below

Sorting: