← Back to live feed1 story
A quick start guide for the HOL Light theorem prover offers a graded set of examples to help users begin more easily, with the system reportedly working on most modern computers and supporting Unix-like environments or Windows via Cygwin or WSL.
Sign in to suggest
Key sources
- DISCUSSIONtomsmedinglobste.rs