GitHub - TypicalMath/prop-calc: Propositional Calculus in Coq by Floris van Doorn

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
a_base.v		a_base.v
b_soundness.v		b_soundness.v
c_completeness.v		c_completeness.v
d_hilbert_calculus.v		d_hilbert_calculus.v
e_sequent_calculus.v		e_sequent_calculus.v
f_cut_elimination.v		f_cut_elimination.v