GitHub - kipa00/real-number-construction: real number construction in Coq. did it my way.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Makefile		Makefile
integer.v		integer.v
predicate.v		predicate.v
rational.v		rational.v
rational_prop.v		rational_prop.v
real.v		real.v
refl.v		refl.v

About

real number construction in Coq. did it my way.

Report repository

Releases

No releases published

Packages

No packages published

Languages