Links
Below you can find some links related to Automath and proof assistants.
Dr. R.P. Nederpelt's website |
Prof. F. Kamareddine website |
Nijmegen University, department of mathematics and computing science |
Eindhoven University of Technology, department of mathematics and computing science |