Logo
LoginSign Up
Soccer
Crypto
CS2
Trump
Elon Musk
US Politics
NHL
NFL

Will Lean mathlib contain more than 10 million lines of code by 2030?

$14,719 volume on Manifold
manifold
Will Lean mathlib contain more than 10 million lines of code by 2030?
66.6%$0.67
Loading chart...
Selected BetWill Lean mathlib contain more than 10 million lines of code by 2030?
M
Trading via Manifold
Market Volume$14.7K
Yes
66.6%
No
33.4%
Trade
No whale trades found for this event.