Findings:
- proving non-existence
- Not proving the Riemann Hypothesis
- Proving a function has only one root in a given interval
- Aberdeen Proving Ground
- A Mathematical Adventure, or, How I Spent an Afternoon Proving Nothing
If you Log in you could create a "proving" node. If you don't already have an account, you can register here.