Concepts of Programming Languages: lecture 12/12, part 1/2
Channel: Hans-Dieter Hiep
Date: 04/01/2022

Coq:
https://coq.inria.fr/

Lean:
https://leanprover-community.github.io/

Isabelle:
https://isabelle.in.tum.de/

Metamath:
http://us.metamath.org/index.html

Survey on Theorem Provers in Formal Methods (Saqib Nawaz et al.):
https://arxiv.org/pdf/1912.03028.pdf