Results

Results that survived review.

This archive records proofs that passed the Lean kernel and then held up under review by people, with the payout on chain.

Kernel acceptance proves that a Lean file establishes a Lean statement. Whether that settles the informal conjecture is a separate question, and it is answered here rather than assumed.