MassLib

product
1 mentions 1 recordings first heard Jun 2026 last heard 3 Jun ±0 this month

Open‑source library of formalized mathematics for Lean

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 30d.Widen the range to see when MassLib was said.

Moments

newest first · ▶ plays the moment
Carina HongLatent Space: The AI Engineer Podcast · 🔬Scaling Past Informal AI - Carina Hong, Axiom Math · 18:34 · 3 Jun
…Uh he was working with Kevin Buzzard to build out MassLib.…
· Open transcript →
All 1 moments