Package Details: hol-git 20200210-1

Git Clone URL: https://aur.archlinux.org/hol-git.git (read-only, click to copy)
Package Base: hol-git
Description: HOL4 theorem-proving system
Upstream URL: https://hol-theorem-prover.org/
Licenses: BSD
Conflicts: hol-git
Provides: hol
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-18 12:12
Last Updated: 2020-02-10 22:58

Dependencies (2)

Required by (0)

Sources (1)