Dev1d ago

Algebruh

Own Algebruh?

Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.

This is mine — claim it
Algebruh preview

Cross-check arithmetic claims with Z3, cvc5, and Lean

m

modinfo

Maker

Mentioned in the wild

news.ycombinator.com