Mathlib
Software / App
A library for mathematics that inspired the CSLIB project.
Mentioned in 2 videos
Save the 2 videos on Mathlib to your own pod.
Sign up free to keep building your knowledge base on Mathlib as more episodes are added.
Videos Mentioning Mathlib
AI Safety Fact vs. Fiction | YC Paper Club
Y Combinator
A library for mathematics that inspired the CSLIB project.
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Lex Fridman
A large, well-maintained library of formalized mathematics for the Lean interactive theorem prover, aiming to make mathematics operate more like a science with explicit specifications.