The hol light theorem prover. http://www.cl.cam.ac.uk/~jrh13/ hol-light (0)

by John Harrison