aspiwack / peppermint-proverLinks

Experimental proof assistant (and architecture) for dependent linear logic
49Updated 3 years ago

Alternatives and similar repositories for peppermint-prover

Users that are interested in peppermint-prover are comparing it to the libraries listed below

Sorting: