Tutorial Schedule
The following Tutorials are associated with CADE-25:
- Abella: Reasoning about Computational Systems using Abella
- Beluga: Programming proofs about formal systems
- CPROVER: From Programs to Logic: The CPROVER verification tools
- Isabelle: Isabelle Tutorial
- KeY: The Sequent Calculus of the KeY Tool
- Lean: Lean Theorem Prover: a Tutorial
- Superposition: 25th Anniversary of Superposition: Status and Future