Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Past Formalisation Projects

Algebra

Analysis

Asymptotics

Geometry

Probability

Combinatorics and General Number Theory

Transcendental Number Theory

Analytic Number Theory

Prime Numbers

Social Choice Theory

Algorithms and Data Structures

Other