Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
main
Isabelle_DOF/Isabelle_DOF-Scaffold
History
Achim D. Brucker 39c50c52de
Some checks are pending
ci/woodpecker/push/build Pipeline is pending
Details
Initial commit.
2025-03-12 09:18:43 +00:00
..
document Initial commit. 2025-03-12 09:18:43 +00:00
Isabelle_DOF-Scaffold.thy Initial commit. 2025-03-12 09:18:43 +00:00
ROOT Initial commit. 2025-03-12 09:18:43 +00:00