1 News

1.1 18-03-2025: Version 3.5 of the Isabelle ITL proof library
1.2 18-03-2025: Update ITL operators and ITL related publications
1.3 26-05-2024: Version 3.4 of the Isabelle ITL proof library
1.4 26-05-2024: Version 2.9 of the Isabelle ITL proof library
1.5 26-05-2024: Update ITL related publications

2025-03-20
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2025