SF Formal Math with Lean
Hosted by Rado Kirov
Registration
About Event
Weekly gathering for anyone interested in formalized mathematics, theorem proving, or proof assistants—focused on Lean. No lectures or talks, just collaborative project work. Beginners welcome!
Discord Server