r/hypeurls•2 mo. agoTheStartupChimeAre We Stuck with Lean?mathoverflow.net/questions/513742/are-we-stuc...mathoverflow.netPosted Jul 30, 2026, 2:06 PM UTC10ShareSave
mathoverflow.netmathoverflow.netmathoverflow.netmathoverflow.net