Ares icon indicating copy to clipboard operation
Ares copied to clipboard

Published 20 hours ago • verified publisher icon bee-san

Adding Theorem Prover

Open dragon28 opened this issue 1 year ago • 0 comments

Hello Guys,

You may want to consider adding Theorem Prover such as Z3 (https://github.com/Z3Prover/z3)

dragon28 avatar Feb 16 '24 21:02 dragon28