Initial commit
Added README and some comments in u012.v
Removed an accidentally commited file
Intermediate commit, see comments below
First commit with "isapropisfinite"
Last commit fully compatible with Coq8.2
First commit with 2x2=4 and 4-1=3
Last (for now) commit with isfinite defined through dneg.
Commit where computation of the number of elements in the complement to the only point in unit x unit does not terminate after about an hour of computation.
Major Update
Major Update (corrected)
Major Update (corrected)
more cleaning
New definition of coconusf
Major update
A clean up
Major Update
Intermediate Update
new README added
Intermediate update