Frequently Asked Questions
The Automath (AUT) and Automath Extra (AUTX) may be extended, but the current items are permanent. The numbers and articles of the lists that you find on this website are definite. You may refer to these articles by using their AUT resp. AUTX number and the URL (https://www.win.tue.nl/automath) of this website.