Solved exercises from the Concrete Semantics book
Primary LanguageIsabelle
This repository is not active