GitHub - arthuraa/cufp-2015-tutorial: An introductory tutorial for the Coq proof assistant.

arthuraa / cufp-2015-tutorial Public

An introductory tutorial for the Coq proof assistant.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 84 Commits
.gitignore		.gitignore
Makefile		Makefile
arithmetic.v		arithmetic.v
basics.v		basics.v
basics_short.v		basics_short.v
coqsplit.ml		coqsplit.ml
list_basics.v		list_basics.v
lists.v		lists.v
redblack.v		redblack.v
redblack_short.v		redblack_short.v
reference.html		reference.html