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

ZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?

$1,746 volume
manifold
ZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
26.1%$0.26
Loading chart...
Selected BetZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
M
Trading via Manifold
Market Volume$1.7K
Yes
26.1%
No
73.9%
Trade
No whale trades found for this event.