Next
Prev
Up
1.2
13-09-2023: Version 3.3 of the Isabelle ITL proof library
Fixes for Isabelle 2023.
Ported first and monitor operator definitions and lemmas from the ITL v2.x series.
Next
Prev
Up
2023-09-14
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2023