Isabelle_DOF/Isabelle_DOF
0
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed Isabelle version.

Browse Source
This commit is contained in:
Achim D. Brucker 2025-03-28 03:29:27 +01:00
parent aa696f8185
commit cd1a28dba8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-add_ons-2025/README.md
View File

@ -23,7 +23,7 @@ add ons installed). This scaffold is provided in the archive
Isabelle/DOF has two major prerequisites:
* **Isabelle 2025:** Isabelle/DOF requires [Isabelle
20024](https://isabelle.in.tum.de/), which can be obtained from the Isabelle
2025](https://isabelle.in.tum.de/), which can be obtained from the Isabelle
homepage: <https://isabelle.in.tum.de/>.
* **AFP (for Isabelle 2025)**: Isabelle/DOF requires several entries from the
[Archive of Formal Proofs (AFP)](https://www.isa-afp.org/).