Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
Updated 2019-10-21 16:30:09 +00:00
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Updated 2023-05-07 14:41:19 +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
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 2023-12-21 11:29:25 +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 2023-02-20 11:29:15 +00:00
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
Updated 2021-01-01 15:23:50 +00:00
A Collection of Isabelle Programming Hacks
Updated 2023-05-14 15:37:43 +00:00
Experimental mirror of Citadelle ( https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL ) compiling with randomly selected versions of Isabelle
Updated 2019-04-05 13:03:19 +00:00