Share your thoughtsHey, I found this event super interesting because . . .I think this is going to be very interesting, but I wonder if . . .I'm thinking of going, and I'd love to know . . .This one caught my eye because . . .Has anyone been before? I'm curious whether . . .Share your thoughts
+1 karma per like
Talks: Ben and Gracelyn from Archway Labs The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome.
