Yirmibes / proofgeneral-doc

generic frontend for proof assistants - documentation

•     Debian Math Team
•     team+math@tracker.debian.org
•     https://proofgeneral.github.io/
•     4.5-3
•     proofgeneral-doc_4.5-3_all.deb
•     660.1 KiB
•     doc
•     all
•      proofgeneral_4.5-3.debian.tar.xz
            proofgeneral_4.5-3.dsc
            proofgeneral_4.5.orig.tar.gz
•     Debian Versiyonu: 4.5-3
•     generic frontend for proof assistants - documentation

Diğer Pardus sürümlerindeki versiyonlar