Research Seminar on Formal Mathematics

Heidelberg University

Topics of interest

• Machine-checked mathematics.
• Proof assistants (Agda, Coq, Lean, etc).
• Type theory.
• Univalent foundations.
• Functional programming languages.

Organisers

• Judith Ludwig
• Florent Schaffhauser

Program

• Winter Semester 2024-2025
• Summer Semester 2025