/concrete-semantics

Solutions to exercises from "Concrete Semantics" (by Tobias Nipkow and Gerwin Klein, ed. 1st August 2019)

Primary LanguageIsabelleThe UnlicenseUnlicense

Watchers