en | de

Interactive Theorem Proving

master program

VU3  SS 2022  703314

Introduction

This course provides an introduction to interactive theorem proving. The following topics will be discussed:

Module

The courses "Interactive Theorem Proving" and "Interactive Theorem Proving in Isabelle/HOL" are a part of the same Vertiefung/Module, and it is recommended to attend the courses together.

Language

English

Prerequisites

Knowledge about functional programming and logic.