LICENSE
MANIFEST.in
README.md
README.pl.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/processbench.py
pycodemath/bench/real_bench.py
pycodemath/bench/verify_bench.py
pycodemath/bench/data/PRM800K_LICENSE
pycodemath/bench/data/PROCESSBENCH_LICENSE
pycodemath/bench/data/derivations.jsonl
pycodemath/bench/data/prm800k_sample.jsonl
pycodemath/bench/data/processbench_sample.jsonl
pycodemath/cli/__init__.py
pycodemath/cli/full.py
pycodemath/cli/mcp_server.py
pycodemath/cli/repl.py
pycodemath/code/__init__.py
pycodemath/code/_ast_rules.py
pycodemath/code/_glsl.py
pycodemath/code/_rewrites.py
pycodemath/code/frontend.py
pycodemath/code/geometry.py
pycodemath/code/loops.py
pycodemath/code/money.py
pycodemath/code/ranges.py
pycodemath/code/recurrence.py
pycodemath/code/stability.py
pycodemath/code/data/C1_adversarial.json
pycodemath/code/data/C1_pairs.jsonl
pycodemath/code/data/C2_cases.json
pycodemath/code/data/C3_cases.json
pycodemath/code/data/C4_cases.json
pycodemath/code/data/C5_cases.jsonl
pycodemath/code/data/G1_cases.json
pycodemath/code/data/J1_units_eval.jsonl
pycodemath/code/data/K2_constants.json
pycodemath/code/data/K3_cases.jsonl
pycodemath/code/data/K5_cases.jsonl
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/_units_table.py
pycodemath/engine/calc.py
pycodemath/engine/definite.py
pycodemath/engine/identify.py
pycodemath/engine/linalg.py
pycodemath/engine/numerics.py
pycodemath/engine/ode.py
pycodemath/engine/precision.py
pycodemath/engine/solvesets.py
pycodemath/engine/stats.py
pycodemath/engine/symbolic.py
pycodemath/engine/units.py
pycodemath/frontend/__init__.py
pycodemath/frontend/parser.py
pycodemath/lint/RULES.md
pycodemath/lint/__init__.py
pycodemath/lint/__main__.py
pycodemath/lint/config.py
pycodemath/lint/engine.py
pycodemath/lint/pytest_plugin.py
pycodemath/lint/report.py
pycodemath/lint/rules.py
pycodemath/lint/sarif.py
pycodemath/lint/witness.py
pycodemath/verify/__init__.py
pycodemath/verify/certificate.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_calc.py
tests/test_cli.py
tests/test_code_frontend.py
tests/test_code_geometry.py
tests/test_code_loops.py
tests/test_code_money.py
tests/test_code_ranges.py
tests/test_code_stability.py
tests/test_codegen.py
tests/test_core.py
tests/test_coverage_r2.py
tests/test_definite.py
tests/test_docs.py
tests/test_errors.py
tests/test_evalf_contract.py
tests/test_identify.py
tests/test_integration_full.py
tests/test_integration_wave2.py
tests/test_linalg.py
tests/test_lint.py
tests/test_lint_guards.py
tests/test_mcp.py
tests/test_numerics.py
tests/test_ode.py
tests/test_parser.py
tests/test_precision.py
tests/test_processbench.py
tests/test_quadrature.py
tests/test_real_bench.py
tests/test_result.py
tests/test_solvesets.py
tests/test_stats.py
tests/test_strict_parser.py
tests/test_symbolic.py
tests/test_trailing_options.py
tests/test_units.py
tests/test_verify_bench.py
tests/test_verify_certificate.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