Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
main
Isabelle_DOF/Isabelle_DOF-Example-I
History
Nicolas Méric 9812bc0517
Some checks failed
ci/woodpecker/push/build Pipeline failed
Details
Use binding for instances name
2023-07-20 10:11:48 +02:00
..
document Ensure compatibility with TeX Live 2019 (as used by AFP's build servers). 2023-05-17 13:57:35 +02:00
IsaDofApplications.thy Use binding for instances name 2023-07-20 10:11:48 +02:00
ROOT Added chapter AFP and timeout. 2023-05-17 09:17:17 +02:00