MassLib

product
1 mentions 1 recordings first heard Jun 2026 last heard 3 Jun ↑1 vs the 12 months before

Open‑source library of formalized mathematics for Lean

Trend

mentions per week · public audio 7d30d6M12M
1 · 30 May SepDecMarJunnow

Peak in the week of 30 May — 1 mentions across 1 series.

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