index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Numbers
/
NatInt
/
NZSqrt.v
Commit message (
Expand
)
Author
Age
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Update headers.
Maxime Dénès
2015-01-12
*
Moving (e)transitivity out of the AST.
Pierre-Marie Pédrot
2014-05-20
*
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-05-06
*
Updating headers.
herbelin
2012-08-08
*
f_equiv : a clone of f_equal that handles setoid equivalences
letouzey
2011-01-04
*
Numbers: some improvements in proofs
letouzey
2011-01-03
*
NZSqrt: we define sqrt_up, a square root that rounds up instead of down as sqrt
letouzey
2010-11-18
*
NZSqrt : since spec is complete, no need for morphism axiom sqrt_wd
letouzey
2010-11-02
*
Numbers: misc improvements
letouzey
2010-11-02
*
Numbers: specs about sqrt and pow of neg numbers, even in NZ
letouzey
2010-11-02
*
Numbers: NZPowProp as a Module Type, some module variable renaming
letouzey
2010-11-02
*
Add sqrt in Numbers
letouzey
2010-10-19