Links

Below you can find some links related to Automath and proof assistants.

Prof. N.G. de Bruijn's website

Prof. Barendregt's website

Freek Wiedijk's Automath pages
Dr. R.P. Nederpelt's website
Prof. F. Kamareddine website
 

List of Proof Assistants

Symposium '35 years of Automath' website

N.G. de Bruijn 90 jaar Symposium (5 september 2008)

Nijmegen University, department of mathematics and computing science

Eindhoven University of Technology, department of mathematics and computing science