Fixing Integer ordering

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

Closed devin-ai-integration[bot] closed 4 days ago

devin-ai-integration[bot] commented 5 days ago

This PR contains a single commit from the develop branch.

Original commit message: Fixing Integer ordering