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

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

$13,682 volume
manifold
Will Lean mathlib contain more than 10 million lines of code by 2030?
66.5%$0.67
Loading chart...
Selected BetWill Lean mathlib contain more than 10 million lines of code by 2030?
M
Trading via Manifold
Yes$13.7K Vol
66.5%
No$13.7K Vol
33.5%
Trade
No whale trades found for this event.