Post #1765431
2026-01-28 22:10 UTC
I was going back through some of the Lean Together talks I missed since videos seem to be up now, and trying to figure out the actual math content of Yaël's talk https://www.youtube.com/watch?v=cz9Q4TtveL0 started blowing my mind a bit
Replies (0)
No replies.