Divisions

Competition Divisions

• The THF Division - 500 Typed Higher-order theorems

• The TFA Division - 250 Typed First-order with Arithmetic theorems

• The TFN Division - 150 Typed First-order Non-theorems

• The FOF Division - 500 First-order theorems

• The UEQ Division - 300 Unit equality CNF

• The SLH Division - 1000 TH0 Sledgehammer theorems

• The ICU Division - 80 "I Challenge yoU" FOF theorems

Demonstration Division

• Special hardware; Special entrants