Share this:
Concrete Semantics with Isabelle/HOL (2018), by Tobias Nipkow and Gerwin Klein (PDF with commentary at concrete-semantics.org)
from New Online Books http://concrete-semantics.org/
Concrete Semantics with Isabelle/HOL (Nipkow)
More Stories
The Mythology of All Races (Fox) – March 28, 2023 at 08:57PM
The Mythology of All Races (MacCulloch) – March 28, 2023 at 08:54PM
Hans Christian Andersen’s Stories for the Household (Andersen) – December 11, 2022 at 04:01AM