search

ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

Deducing_Sign_function_test code update #586

Closed ohhmm closed 3 days ago