twitter.com
October 8, 2026
1 min read
64/100
Summary
Dan Roberts on X: "We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. https://t.co/HI6otY2NTO" We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The re...