GitHub - emarzion/coq-project: My project using Coq to prove Post's Theorem.

emarzion / coq-project Public

My project using Coq to prove Post's Theorem.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitattributes		.gitattributes
.gitignore		.gitignore
andnot_new.v		andnot_new.v
classical_new.v		classical_new.v
coq project.pdf		coq project.pdf
post2_new.v		post2_new.v
post_new.v		post_new.v
vecs_new.v		vecs_new.v