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