seL4 specification and proofs
Updated 2024-01-27 14:09:40 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2024-03-14 09:22:09 +00:00