Internet of Events
Leaderboard
Traders
Markets
Hot Bets
Surveillance
Pricing
Log in
Get Access
Accrue
/
Home
/
Manifold Markets
/
Will mathlib have formal proofs of 75 out of 100 theorems from Freek Wiedijk's list by end of 2022?
Manifold
Resolved: NO
BINARY · cpmm-1
Will mathlib have formal proofs of 75 out of 100 theorems from Freek Wiedijk's list by end of 2022?
Yes
1%
Yes Pool
$4K
No Pool
$48
Resolution
NO
