Pinned Loading
Repositories
Showing 10 of 28 repositories
- Shallow-Expressions Public
isabelle-utp/Shallow-Expressions’s past year of commit activity - Total_Recall Public
A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.
isabelle-utp/Total_Recall’s past year of commit activity - explore-subgoal Public Forked from wimmers/explore-subgoal
Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy
isabelle-utp/explore-subgoal’s past year of commit activity