concrete-semantics-Sols My solutions to concrete semantics by Tobias Nipkow and Gerwin Klein. To see a list of exercises. Already done: Chapter 2 Chapter 3 In process: Chapter 4