Format Online paper / PDF
Location PART 3 - THE THIRD AXIS CHAPTER 15: DEPLOY NOW, PRAY LATER The Final Form of Software Development

"Proof assistants have existed for roughly 60 years."

Geuvers and Nederpelt document Automath, conceived by N. G. de Bruijn in 1968, as an early working proof-checking system. Its history establishes that machine-verifiable mathematical proofs predate the current AI generation by nearly six decades.

View Source
Source title Characteristics of de Bruijn’s early proof checker Automath
Source authors Herman Geuvers; Rob Nederpelt
Source year 2022
Confidence high
Importance high
Back to evidence PREVIOUSNEXT