../ LICENSE 01-Nov-2026 17:47 19K README.md 01-Nov-2026 17:47 6036 proofgraph.dtx 01-Nov-2026 17:47 137K proofgraph.ins 01-Nov-2026 17:47 2594 proofgraph.pdf 01-Nov-2026 17:47 515K