The community notebook

Forum

Discuss the proofs. Ask for help with Lean. Bring a source and an open question.