Lean NYC
Contact owners and managers
lean-nyc@googlegroups.com
Description
The Lean Theorem Prover in NYC!
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Group members
can view conversations
Group members
can post
Anyone on the web
can ask to join group