Skip to main content
Bolton Bailey
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
10
Ṁ450
Ṁ3.3k
resolved Jan 1