hol-light-qe software on GitHub

Software OPEN SOURCE

The HOL Light theorem prover (moved from Google code)
Share - Bookmark