A try to implement the completeness theorem of classical propositional logic
Primary LanguageCoq
No one’s star this repository yet.