ohhmm/openmind

Deduction framework with arbitrary mathematical system solver.

C++Stars 15Forks 8Watchers 15Open issues 472License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerohhmm

Last pushed2025-06-11

Last updated2025-12-15

Issues fetched at—

Community at a glance