Event radar · Organisation

Why Lean

Every event involving Why Lean, merged across sources — most recent first.

Subscribe by email Subscribe via RSS

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Hacker NewsLobsters2 h ago