Automath

TODO: Write the wiki article for Automath.