Fork of LEO-II - A higher order theorem prover