Concrete Semantics with Isabelle/HOLconcrete-semantics.org4 points·scriptdevil··0 commentsOpen articleSaveView on HN