Theorem Proving on set.mm (test)
600Proofs Found (Test)
HOLOPHRASM + MetaGen-IL
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2020.02 | 600 | |
| 574 | ||
2020.02 | 565 | |
2020.02 | 557 | |
2020.02 | 476 | |
2020.02 | 472 | |
2020.02 | 457 | |
2020.02 | 454 | |
2020.02 | 388 | |
2020.02 | 357 | |
2020.02 | 351 | |
2020.02 | 346 | |
2020.02 | 312 | |
2020.02 | 219 |