⌘ Tech
SF Lean Meetup
- When
- Monday, October 19 · 7:00 PM
- Where
- San Francisco
- Listed by
- Mox
The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome! Website: sflean.group/... more
