This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Isabelle_DOF
/
Isabelle_DOF
Watch
1
Star
0
Fork
2
You've already forked Isabelle_DOF
Code
Issues
1
Pull Requests
Releases
Wiki
Activity
main
Isabelle_DOF
/
upstream_afp
History
Achim D. Brucker
8cc015821b
Updated AFP date.
2024-07-16 09:46:55 +01:00
..
Isabelle_DOF
Updated AFP date.
2024-07-16 09:46:55 +01:00
ROOTS
Update to Isabelle 2024.
2024-05-27 09:30:01 +01:00