Gazelle = Generalized Elle. A framework for reusable programming language semantics.
Primary LanguageIsabelle