100 famous theorems proved using Coq

Freek Wiedijk's webpage lists 100 famous theorems and how many of those have been formalised using proof assistants. This repository keeps track of the statements that have been proved using the Coq proof assistant.

You can see the list on this webpage.

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
1.sqrt2.v		1.sqrt2.v
37.cardan3.v		37.cardan3.v
68.sumarith.v		68.sumarith.v
85.div3.v		85.div3.v
README.md		README.md
ballot.v		ballot.v
birthday.v		birthday.v
def.css		def.css
inclusionexclusion.v		inclusionexclusion.v
index.html		index.html
konigsberg_bridges.v		konigsberg_bridges.v
mean.v		mean.v
pigeonhole.v		pigeonhole.v

Provide feedback