Home
About Coq
Get Coq
Documentation
Community

The Coq Proof Assistant

Keyword: exact arithmetic

CoinductiveReals: Real numbers as coinductive ternary streams
Milad Niqui

webmaster
xhtml valid
CSS valid