Projects in Awesome Lists tagged with dedekind-reals
A curated list of projects in awesome lists tagged with dedekind-reals .
https://github.com/coq-community/dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
coq dedekind-reals real-analysis
Last synced: 19 Dec 2024
https://github.com/lucaferranti/dedekindcutarithmetic.jl
Exact real arithmetic using Dedekind cuts
arbitrary-precision dedekind-reals exact-reals interval-arithmetic julia
Last synced: 17 Mar 2025
https://github.com/comius/dedekindreals
Dedekind reals
arbitrary-precision dedekind-reals java reals scala
Last synced: 01 Mar 2025
