Isabelle command to quickly produce Isar proof patterns
Primary LanguageIsabelle
No one’s star this repository yet.