bendlib
Foundation library for Bend 2 with reusable machine-checked lemmas, a law counterexample checker, source reader, and generated package documentation.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/bendlib/bendlib ↗GitHubhttps://github.com/bendlib/bendlib/blob/main/README.md ↗GitHubhttps://github.com/bendlib/bendlib/tree/main/packages/bend-mathlib ↗