Etymology
Today it means: Of or pertaining to an automath. Full definition →
From automath + -ic.
Etymology from Wiktionary, CC BY-SA 4.0.