ptarau / TypesAndProofsLinks

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
33Updated 2 weeks ago

Alternatives and similar repositories for TypesAndProofs

Users that are interested in TypesAndProofs are comparing it to the libraries listed below

Sorting: