Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
main
Isabelle_DOF/Isabelle_DOF-Proofs
History
Achim D. Brucker 95b30e8b5f
Some checks are pending
ci/woodpecker/push/build Pipeline is pending
Details
Update to latest development version of Isabelle.
2025-03-13 14:45:00 +00:00
..
Reification_Test.thy Update to latest development version of Isabelle. 2025-03-13 14:45:00 +00:00
ROOT Add very deep interpretation 2023-02-24 10:44:47 +01:00
Very_Deep_DOF.thy Cleanup 2023-05-12 20:04:44 +02:00
Very_Deep_Interpretation.thy Update to latest development version of Isabelle. 2025-03-13 14:45:00 +00:00