Yirmibes / hol-light

HOL Light theorem prover

•     Debian OCaml Maintainers
•     debian-ocaml-maint@lists.debian.org
•     https://www.cl.cam.ac.uk/~jrh13/hol-light/
•     1:3.0.0-2+b7
•     hol-light_3.0.0-2+b7_amd64.deb
•     5.7 MiB
•     math
•     amd64
•      hol-light_3.0.0-2.debian.tar.xz
            hol-light_3.0.0-2.dsc
            hol-light_3.0.0.orig.tar.xz
•     Debian Versiyonu: 1:3.0.0-2+b7
•     HOL Light theorem prover

Diğer Pardus sürümlerindeki versiyonlar