18-03-2025: Update ITL operators and ITL related publications

Added yield and reverse yield operators.
Added [51].

2025-03-20

Contact | Home | ITL home | Course | Proofs | Algebra | FL

© 1996-2025