Internet of Events Leaderboard Traders Markets Hot Bets Surveillance Pricing

Log in Get Access

Accrue
/Home
/Manifold Markets
/Which theorem prover will have proved the most theorems on Freek's list by end of 2028?

ManifoldActiveMULTIPLE_CHOICE · cpmm-multi-1

Which theorem prover will have proved the most theorems on Freek's list by end of 2028?

Probability

—

Volume$60

24h Volume$0

Liquidity$175

Traders2

CreatorBolton Bailey

ClosesDec 31, 2028

View on Manifold →Compare Across Platforms →

Accrue© 2026

Internet of Events Leaderboard Traders Markets Hot Bets Surveillance

The Intelligence Terminal for Prediction Markets

Terms Privacy Risk Disclosure Cookies Disclaimer Acceptable Use