discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Concrete Semantics with Isabelle/HOL
http://concrete-semantics.org/
6 comments
28/2/2021
Concrete Semantics
http://www.concrete-semantics.org/
17 comments
17/1/2020