AUTOMATH

language, mathematics A very high level language for writing

proofs, from Eindhoven, Netherlands.

["The Mathematical Language AUTOMATH, Its Usage and Some of

its Extensions", N.G. deBruijn, in Symp on Automatic

Demonstration, LNM 125, Springer 1970].

(2001-07-09)