Divisions

Competition Divisions

• The THF Division - 400 Typed Higher-order theorems

• The TFA Division - 200 Typed First-order theorems with arithmetic

• The FOF Division - 400 First-order theorems

• The FNT Division - 200 First-order non-theorems

• The EPR Division - 200 Effectively propositional CNF

• The UEQ Division - 200 Unit equality theorems

Demonstration Division

• Special hardware; Special entrants