A very high level languagefor 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].
Ask a Tech Expert Now
Andy, Computer Consultant
11yr exp, Comp Eng, Internet expert, Web developer, SEO