Gazelle = Generalized Elle. A framework for reusable programming language semantics.
Primary LanguageIsabelle
This repository is not active