VOOZH about

URL: https://hol-theorem-prover.org/

⇱ HOL Interactive Theorem Prover

👁 on github
HOL
Interactive Theorem Prover
Latest: Trindemossen-2 released (see release notes · all release notes).
About
Download and Install
Documentation
Community
Valid HTML    Valid CSS    mobile version