Bend Quadratic Extension
Experimental Bend 2 library for exact integer and quadratic-extension arithmetic, with laws and proof implementations organized in separate Bend files.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/Phylliida/bend-quadratic-extension ↗GitHubhttps://github.com/Phylliida/bend-quadratic-extension/blob/main/README.md ↗