Apache/2.4.58 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
proofgraph.pdf 2026-11-01 11:47 515K
proofgraph.ins 2026-11-01 11:47 2.5K
proofgraph.dtx 2026-11-01 11:47 137K
README.md 2026-11-01 11:47 5.9K
LICENSE 2026-11-01 11:47 19K