Results for:
THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for THF (Higher-order Theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFA (Typed First-order Theorems +*-/)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFN (Typed First-order Non-theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for FOF (First-order Theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for UEQ (Unit Equality CNF)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for SLH (SLedgeHammer Theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for ICU (I Challenge yoU)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TNE (THF without Equality)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TEQ (THF with Equality)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFI (TFA using Integers)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFE (TFA using Reals)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFN (Typed First-order Non-theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for FNE (FOF Theorems without Equality)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for FEQ (FOF Theorems with Equality)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for UEQ (Unit Equality CNF)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for SLH (SLedgeHammer Theorems)


Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for ICU (I Challenge yoU)