GitHub - guodk/A-Comprehensive-Formalization-of-Propositional-Logic-in-Coq: A Coq library for paper: A Comprehensive Formalization of Propositional Logic in Coq

guodk / A-Comprehensive-Formalization-of-Propositional-Logic-in-Coq Public

A Coq library for paper: A Comprehensive Formalization of Propositional Logic in Coq

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Mappings.v		Mappings.v
auto_examples.v		auto_examples.v
base_pc.v		base_pc.v
bijection_nat_Formula.v		bijection_nat_Formula.v
compactness.v		compactness.v
complete.v		complete.v
natural_deduction.v		natural_deduction.v
semantic.v		semantic.v
syntax.v		syntax.v
system_equivalence.v		system_equivalence.v