Yirmiuc / hol-light

HOL Light theorem prover

•     Debian OCaml Maintainers
•     debian-ocaml-maint@lists.debian.org
•     https://www.cl.cam.ac.uk/~jrh13/hol-light/
•     20230128-1+b1
•     hol-light_20230128-1+b1_amd64.deb
•     5.5 MiB
•     math
•     amd64
•      hol-light_20230128-1.debian.tar.xz
            hol-light_20230128-1.dsc
            hol-light_20230128.orig.tar.gz
•     Debian Versiyonu: 20230128-1+b1
•     HOL Light theorem prover

Diğer Pardus sürümlerindeki versiyonlar