Updates on Lean 4
Every AI story we track on Lean 4: 2 stories so far, each summarized in our own words and linked to the publisher that reported it.
Pulled from 125 sources
This month
AI Research2 min read
Ten advances in mathematics and theoretical computer science
Simon Willison's Weblog
That's everything we have on Lean 4 right now