GitHub - TypicalMath/cpc: A try to implement the completeness theorem of classical propositional logic

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
.gitignore		.gitignore
Cons.v		Cons.v
Logic_and_Set_Theory.v		Logic_and_Set_Theory.v
ModelExistence.v		ModelExistence.v
Soundness.v		Soundness.v

About

A try to implement the completeness theorem of classical propositional logic

No releases published