aspiwack / peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic
47Updated 2 years ago

Related projects

Alternatives and complementary repositories for peppermint-prover