Next
Prev
Up
1.2
19-12-2025: Version 3.6 of the Isabelle ITL proof library
Fixes for Isabelle2025-1.
Next
Prev
Up
2026-10-26
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2026