New
Show
Ask
Jobs
Built with qwik
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
(github.com)
10 points
| by
modinfo
13 hours ago