Vorlesung: Ausgewählte Kapitel aus der Beweistheorie (SS 2013) by Prof. Schwichtenberg
(17.07.2013) The exercise 10 will be
returned in the tutorial of today.
Afterwards, they go to the box on the first floor.
The exercise session takes place at 10:00 on Friday (Room A027).
- An example of CVInd. (script)
This file works with ind.scm on the latest Minlog system which is available as the SVN snapshot.
- Minlog examples of derivations involving nc-forall and nc-implication. (script)
- Minlog proof script for the exercise 40. (script)
You are welcome to send a question on this prior to the exercise session by Anton Freund on 12.07.
Seminar: Programmextraktion aus Beweisen (SS 2013) by Prof. SchwichtenbergThe first tutorial session takes place at 10:00 on Monday, 6th of May.
Please come to B420.
- A file to study the Aufgabe 8 from the lecture course in Minlog. (script)
This file provides definitions to carry out the proof.