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

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

2026-10-26

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

© 1996-2026