9. What's next?🔗

What's next? Contribute to mathlib, lean community and dozens of references, learn more git, GitHub, CI/CD, learn more about codex...