hematics> 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)