/axioms-of-classical-logic

Proof of logical equivalence between four propositions and the law of excluded middle

Primary LanguageCoq

This repository is not active