A survey of the project Automath