Theory Exploration for Isabelle using HipSpec
Primary LanguageHTML
No one’s star this repository yet.