https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib https://1lab.dev/ https://1lab.dev/ You can watch the next gen

https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib https://1lab.dev/ https://1lab.dev/ You can watch the next generation, or participate, right now.