Abstract
Isabelle is a proof assistant, i.e., a computer program that can help its user conduct proofs and check their correctness. In this talk I motivate the use of proof assistants, and I explain how I used Isabelle to prove a logical system, the resolution calculus, sound and complete.
| Original language | English |
|---|---|
| Publication date | 2016 |
| Number of pages | 1 |
| Publication status | Published - 2016 |
| Event | CADILLAC Workshop - Byens Lys Movie Theater, Fabriksområdet, Copenhagen, Denmark Duration: 23 May 2016 → 25 May 2016 http://cadillac.compute.dtu.dk/ |
Workshop
| Workshop | CADILLAC Workshop |
|---|---|
| Location | Byens Lys Movie Theater, Fabriksområdet |
| Country/Territory | Denmark |
| City | Copenhagen |
| Period | 23/05/2016 → 25/05/2016 |
| Internet address |