Research Seminar on Formal Mathematics

Heidelberg University

Program

Topics of interest

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

Organisers