Open Source46d ago
Detected, not submitted
Algebruh
Own Algebruh?
Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.
Cross-check arithmetic claims with Z3, cvc5, and Lean
Spotted on Hacker News on August 8, 2026.
MO
modinfo
Maker