en | de

Interactive Theorem Proving in Isabelle/HOL

master program

VU3  SS 2023  703315

Introduction

This course provides knowledge about interactive theorem proving with a focus on the Isabelle proof assistant using higher-order logic (HOL). The following topics will be discussed:

Literatur

See slides of week 1.

Prerequisites

Knowledge about functional programming and logic.