Certified Exact Transcendental Real Number Computation in Coq · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/0805.2438/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTCertified Exact Transcendental Real Number Computation in Coq — mentioned by aeneasmackenziehttps://news.ycombinator.com/item?id=19159210urn:hackerpapers:mention:0805.2438:19159210Thu, 14 Feb 2019 02:38:09 GMT<p>He hates Dedekind cuts, not real numbers. Real numbers exist all right, here are some: https://arxiv.org/abs/0805.2438</p><p><a href="https://hackerpaper.kaipfister.de/p/0805.2438/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO