concrete-semantics-book Self study log for the book Concrete Semantics, by Tobias Nipkow and Gerwin Klein.