SF Lean: Verified mixed-integer programming in Lean – Henry Robbins
Registration
About Event
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!
Website: https://sflean.group/
Join our Discord Server