Twenty-five years of Automath research

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

22 Citations (Scopus)
2 Downloads (Pure)


This introductory contribution consists of two parts. In Section 1, we give a concise historical overview of proof systems, leading to a short survey of the Automath project and a description of recent developments. The main subject, to be found in Section 2, is an explanatory survey of all papers selected for this Volume.
Original languageEnglish
Title of host publicationSelected Papers on Automath
EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of PublicationAmsterdam
PublisherNorth-Holland Publishing Company
ISBN (Print)0-444-89822-0
Publication statusPublished - 1994

Publication series

NameStudies in Logic

Cite this