bend-math
Work-in-progress exact-mathematics library for Bend 2 with checked definitions and laws for integers, rationals, and Cauchy-sequence reals.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/chelokot/bend-math ↗GitHubhttps://github.com/chelokot/bend-math/blob/main/README.md ↗GitHubhttps://github.com/chelokot/bend-math/blob/main/Real.bend ↗GitHubhttps://github.com/chelokot/bend-math/blob/main/LAWS.bend ↗