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].
Last updated: 2001-07-09
automated testing ♦ AUTOMATH ♦ Automatically Programmed Tools ♦ automatic baud rate detection
Try this search on Wikipedia, Wiktionary, Google, OneLook.