News for hackers. Stuff that matters.

A comment on Concrete Semantics with Isabelle/HOL.

Re:Concrete Semantics with Isabelle/HOL by sylvanaar on Sunday February 28, 2021 @05:49AM (#26292380)
https?
[ Parent | on HN ]

There are no comments on this comment yet.