The Candle theorem prover (fork of the HOL Light sources) - View it on GitHub