Yirmiuc / elan

tool for managing installations of the Lean theorem prover

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