Concrete Semantics with Isabelle/HOL

Article URL: http://concrete-semantics.org/

Comments URL: https://news.ycombinator.com/item?id=26290174

Points: 5

# Comments: 0

from Hacker News: Front Page https://ift.tt/1lLu4xg
via