Bend 2.0.32: formalization sync done!
The bounty is up. Prove a falsehood, get $10k.
- Bend's proof kernel, not just its "theory", is proven correct.
- A proof in Bend is now a trustworthy mathematical proof.
- We offer $10k to anyone who proves a falsehood in Bend.
How it
