Evaluation
- There are weekly exercise that count 50 % of the overall grade and a project
that counts another 50 %.
- The projects are available as PDF
and as Isabelle theories. There are 1-person
and 2-person projects.
- The projects will briefly be presented in the lecture on April 29,
and then also the project distribution will be conducted.
- The deadline for handing in completed projects is August 1.
- Evaluation of projects is based on
- number and significance of remaining sorrys
- readability and clarity of submitted Isabelle theory
- successful document generation of submitted Isabelle theory
- personal interview on each project, where project related questions will
be asked