Doc index - proofgeneral Packages contains this documentation Package: proofgeneral apt-get install proofgeneral Manuals in package: proofgeneral(1) coqtags(1) Documentations in package: proofgeneral Package: proofgeneral-doc apt-get install proofgeneral-doc Documentations in package: proofgeneral proofgeneral-doc Documentation root: https://dweb.link/ipfs/bafybeih3plecdlm7oz6qgktvxeyjd67czledub6zivvungeor4qt7pfj3i