LICENSE
README.md
pyproject.toml
pycodemath/__init__.py
pycodemath/__main__.py
pycodemath/py.typed
pycodemath.egg-info/PKG-INFO
pycodemath.egg-info/SOURCES.txt
pycodemath.egg-info/dependency_links.txt
pycodemath.egg-info/entry_points.txt
pycodemath.egg-info/requires.txt
pycodemath.egg-info/top_level.txt
pycodemath/bench/__init__.py
pycodemath/bench/benchmark.py
pycodemath/bench/real_bench.py
pycodemath/bench/verify_bench.py
pycodemath/bench/data/PRM800K_LICENSE
pycodemath/bench/data/derivations.jsonl
pycodemath/bench/data/prm800k_sample.jsonl
pycodemath/cli/__init__.py
pycodemath/cli/mcp_server.py
pycodemath/cli/repl.py
pycodemath/codegen/__init__.py
pycodemath/codegen/emit.py
pycodemath/codegen/pipeline.py
pycodemath/core/__init__.py
pycodemath/core/backstop.py
pycodemath/core/budget.py
pycodemath/core/errors.py
pycodemath/core/ir.py
pycodemath/core/result.py
pycodemath/engine/__init__.py
pycodemath/engine/linalg.py
pycodemath/engine/numerics.py
pycodemath/engine/ode.py
pycodemath/engine/symbolic.py
pycodemath/frontend/__init__.py
pycodemath/frontend/parser.py
pycodemath/verify/__init__.py
pycodemath/verify/certify.py
pycodemath/verify/equal.py
pycodemath/verify/steps.py
pycodemath/verify/verdict.py
tests/test_backstop.py
tests/test_budget.py
tests/test_cli.py
tests/test_codegen.py
tests/test_core.py
tests/test_coverage_r2.py
tests/test_errors.py
tests/test_evalf_contract.py
tests/test_linalg.py
tests/test_mcp.py
tests/test_numerics.py
tests/test_ode.py
tests/test_parser.py
tests/test_quadrature.py
tests/test_real_bench.py
tests/test_result.py
tests/test_symbolic.py
tests/test_trailing_options.py
tests/test_verify_bench.py
tests/test_verify_certify.py
tests/test_verify_equal.py
tests/test_verify_fuzz.py
tests/test_verify_steps.py
tests/test_verify_surface.py