Lean Mathlib

I am currently an active contributor to the mathematics library mathlib, which is built using the Lean theorem prover. You can learn more about Lean at its website and about the mathlib community at the project webpage.