mathdantic-core-proof-e2e

Adds:

• propagate_discharge(node) for bottom-up discharge
• md_e2e.py — end-to-end pipeline (rule→proof→certificate→evaluation)

Quickstart

pdm install
pip install -e .
pdm run pytest -q
./scripts/md_e2e.py --dir artifacts