Yirmiuc / proofgeneral

generic frontend for proof assistants

•     Hendrik Tews
•     hendrik@askra.de
•     https://proofgeneral.github.io/
•     4.4.1~pre170114-1.2
•     proofgeneral_4.4.1~pre170114-1.2_all.deb
•     588.9 KiB
•     editors
•     all
•      proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
            proofgeneral_4.4.1~pre170114-1.2.dsc
            proofgeneral_4.4.1~pre170114.orig.tar.xz
•     Debian Versiyonu: 4.4.1~pre170114-1.2
•     generic frontend for proof assistants

Diğer Pardus sürümlerindeki versiyonlar