1
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
一个命令行小工具，用Z3、cvc5和Lean交叉验证算术命题，写代码时揪出隐蔽数学错误的好帮手
Article URL: https://github.com/skorotkiewicz/algebruh Comments URL: https://news.ycombinator.com/item?id=49224241 Points: 4 # Comments: 0