The Collaborative International Dictionary of English v.0.48:

Automath \Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.]
   One who is self-taught. [R.] --Young.
   [1913 Webster] Automatic

The Free On-line Dictionary of Computing (30 December 2018):

AUTOMATH

    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)