Prediction about: Will we have a formalized proof of the Modularity theorem by 2029-05-01?
market_6aa75102b83fAMP Predict is a mock prediction market — all trading uses simulated TK¢ tokens (no real money). Sign in with Google or email to buy YES or NO contracts at the current orderbook price, or place limit orders at custom prices. When the market closes, the winning side pays 100 TK¢ per contract.