Yirmibir / hol-light

HOL Light theorem prover

•     Debian OCaml Maintainers
•     debian-ocaml-maint@lists.debian.org
•     http://www.cl.cam.ac.uk/~jrh13/hol-light/
•     20190729-4+b3
•     hol-light_20190729-4+b3_amd64.deb
•     4.8 MiB
•     math
•     amd64
•      hol-light_20190729-4.debian.tar.xz
            hol-light_20190729-4.dsc
            hol-light_20190729.orig.tar.gz
•     Debian Versiyonu: 20190729-4+b3
•     HOL Light theorem prover

Diğer Pardus sürümlerindeki versiyonlar