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
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome. Discord Server
