Algebruh
Cross-check arithmetic claims using automated theorem provers like Z3, cvc5, and Lean.
Why it made the shelf
Algebruh is a developer tool designed to cross-check arithmetic claims using automated reasoning and theorem provers.
Seen on
- First seen
- 44 days ago
- Best score
- 2 points
Best matches
See allBehind the tool
Who built it. How it grew.
People, backing, growth, and ownership. Every claim links to its source.
Official sitegithub.com
Source review queued
Public trail
Where it showed up
1 reference from 1 publisher.
- First trace
- Hacker News44 days ago
- 01Hacker NewsFirst trace
Cross-check arithmetic claims with Z3, cvc5, and Lean