GitHub - elle-et-noire/coq: only .v files

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
algebra		algebra
lf		lf
.gitignore		.gitignore
Basics_J.v		Basics_J.v
Bin.v		Bin.v
Euclid.v		Euclid.v
EuclideanAlgorithm.v		EuclideanAlgorithm.v
Fermat.v		Fermat.v
Induction.v		Induction.v
Lists.v		Lists.v
Socrates.v		Socrates.v
even.v		even.v
intro_01_howto.v		intro_01_howto.v
lecture.v		lecture.v
mult_comm.v		mult_comm.v
reverse.v		reverse.v
ssrf01.v		ssrf01.v
ssrf02.v		ssrf02.v
ssrf03.v		ssrf03.v
study01.v		study01.v
study02.v		study02.v
study03.v		study03.v
study04.v		study04.v
study05.v		study05.v
testofmine.v		testofmine.v
the_infinity_of_primes.v		the_infinity_of_primes.v