Statement of theorems proven in Coq
Coq HTML CSS
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
1.sqrt2.v removed superfluous admit here. (file is not linked anyway.) Sep 10, 2017
37.cardan3.v
68.sumarith.v
85.div3.v files from former page Sep 18, 2015
README.md
ballot.v
birthday.v removed useless lemmas Sep 11, 2017
def.css
inclusionexclusion.v
index.html
konigsberg_bridges.v
mean.v
pigeonhole.v

README.md