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

Program