/Gazelle

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

Primary LanguageIsabelle

Stargazers