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