/Deriving-Definitions

Generating Library definitions from Theory Expressions

Primary LanguageAgda

Stargazers