Concrete Semantics with Isabelle/HOLconcrete-semantics.org1 point·phonebucket··0 commentsOpen articleSaveView on HN