Documentation

• Manual gzipped postscript or PDF
• Proof Movie
• Examples
• Publications
• Input syntax of interactor Grammar, Lexical Analysis
• Tutorial - on the combination of decision procedures
• Lecture - on many of the algorithms underlying ICS

Back to the main ICS homepage