Loading today’s stories
person
French mathematician who wrote a Lean extension turning proof language into textbook-style natural language with a click-driven Info View, without consulting the core team.
No current published clusters are mapped here yet.