High-performance theorem prover developed at Microsoft Research - View it on GitHub