/explore-subgoal

Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy

Primary LanguageIsabelle

Stargazers