Yirmibes / elan

tool for managing installations of the Lean theorem prover

•     Christopher Hoskin
•     mans0954@debian.org
•     https://github.com/leanprover/elan
•     3.1.1-6
•     elan_3.1.1-6_amd64.deb
•     1.4 MiB
•     math
•     amd64
•      elan_3.1.1-6.debian.tar.xz
            elan_3.1.1-6.dsc
            elan_3.1.1.orig.tar.gz
•     Debian Versiyonu: 3.1.1-6
•     tool for managing installations of the Lean theorem prover

Diğer Pardus sürümlerindeki versiyonlar