jonaprieto / agda-prop

A Library for Classical Propositional Logic in Agda
15Updated 5 years ago

Related projects

Alternatives and complementary repositories for agda-prop