Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
By modinfo · 2026-08-08 · 3 points · 0 comments
https://github.com/skorotkiewicz/algebruh
By modinfo · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews