The foundation library for Bend 2: bend-mathlib (machine-checked lemmas), lawcheck (counterexamples for laws), and docs for BendHub.
documentation dependent-types theorem-proving proof-assistant property-based-testing formal-verification bend mathlib lemmas counterexamples bend-lang bendhub
-
Updated
Oct 31, 2026 - TypeScript