# Lean Theorem Prover [[Lean Theorem Prover]] is a theorem prover by [[Microsoft Research]]. There is a large [[Opensource Community]] writing proofs for it, it is quite fascinating. - [Lean community](https://leanprover-community.github.io/) - Especially around mathematics: [GitHub - leanprover-community/mathlib: Lean mathematical components library](https://github.com/leanprover-community/mathlib) ## Podcasts - [Can Computers Be Mathematicians? — The Joy of Why — Overcast](https://overcast.fm/+4RURzCJZQ/16:59) in [[Steven Strogatz]] podcast [[The Joy of Why]], which was quite fascinating and fun.