Next
Prev
Up
1.2
26-05-2024: Version 2.9 of the Isabelle ITL proof library
Fix for Isabelle 2024.
Next
Prev
Up
2024-05-26
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2024