Name Last modified Size Parent Directory - LICENSE 2026-11-01 11:47 19K README.md 2026-11-01 11:47 5.9K proofgraph.dtx 2026-11-01 11:47 137K proofgraph.ins 2026-11-01 11:47 2.5K proofgraph.pdf 2026-11-01 11:47 515K