Yirmibes / proofgeneral

generic frontend for proof assistants

•     Debian Math Team
•     team+math@tracker.debian.org
•     https://proofgeneral.github.io/
•     4.5-3
•     proofgeneral_4.5-3_all.deb
•     625.6 KiB
•     editors
•     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

Diğer Pardus sürümlerindeki versiyonlar