by ismailkerimov
Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.