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

$14,719 volume on Manifold

Prices here are free to read and need no account. A free account lets you bookmark this market, follow the traders moving it, and opt in to the weekly digest. We never hold funds or place trades.Create a free account →