Results for FFT (First-order Theorems)

Results for FTT (First-order Non-theorems)

Results for MRT (Mizar Theorems in Batch Mode)

Results for FNE (Theorems without Equality)

Results for FEQ (Theorems with Equality)

Results for FEP (Effectively Propositional Theorems)

Results for FNN (Non-theorems without Equality)

Results for FNQ (Non-theorems with Equality)