Theory Exploration Tools for Isabelle
IsaScheme is a set of tools implementing the scheme-based mathematical theory exploration for the interactive theorem prover Isabelle. You can visit the IsaPlanner Wiki to get information for downloading and setting it up. The project home page is found elsewhere.