Self study log for the book Concrete Semantics, by Tobias Nipkow and Gerwin Klein.
renesax14 / concrete-semantics-book Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tarc/concrete-semantics-book
Self study log of the book