IsaScheme is an automatic theory exploration system that uses state of the art technologies to perform theory formation on the popular theorem prover Isabelle