Bolton Bailey
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
8
450
Ṁ1433
Dec 31
