Cited in
(8)- Light-weight containers for Isabelle: efficient, extensible, nestable
- Animating the formalised semantics of a Java-like language
- A verified algorithm enumerating event structures
- CoqJVM
- Containers
- Datatype Order Generator
- Jinja Threads
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
This page was built for software: FinFuns
