GitHub - mbrcknl/coq-fight-2017: Lemmas contributed to the 2017 FP-Syd Coq Fight

mbrcknl / coq-fight-2017 Public

Lemmas contributed to the 2017 FP-Syd Coq Fight

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
abacus.v		abacus.v
added.v		added.v
classical-equiv.v		classical-equiv.v
diff-square.v		diff-square.v
evenb-even.v		evenb-even.v
fibonacci.v		fibonacci.v
kcomp-assoc.v		kcomp-assoc.v
le-evil-1.v		le-evil-1.v
le-evil-2.v		le-evil-2.v
multy.v		multy.v
plus-comm.v		plus-comm.v
plus-repeat-comm.v		plus-repeat-comm.v
revapp-equiv.v		revapp-equiv.v