Is this what you're looking for? https://github.com/leanprover-community/mathlib

		arlort on May 29, 2023 \| parent \| context \| favorite \| on: Functional Programming in Lean Is this what you're looking for? https://github.com/leanprover-community/mathlib