تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ماشین خودکار درتاهش سخت‌گیر Modal Theorem D.1 نگره‌ی آوین