- Home
- Topics
- Proof Assistants
- Worldwide
Proof Assistants
680
members4
groupsFind out what's happening in Proof Assistants Meetup groups around the world and start meeting up with the ones near you.
Largest Proof Assistants groups
- 1
London Type-Driven Development
372 Typists | London, United Kingdom
Paul Cadman
Organized by Paul Cadman - 2
Silicon Valley Deep Specification
176 Deep Specification explorers | Redwood City, USA
Vadim Zaliva
Organized by Vadim Zaliva - 3
Coq Users in PariS [CUPS]
114 membres | Paris, France
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias - 4
Newest Proof Assistants groups
Victoria Functional Programming Meetup Group
18 Members
Started Mar 4 in Victoria, Canada
Coq Users in PariS [CUPS]
114 membres
Started Nov 29 in Paris, France
London Type-Driven Development
372 Typists
Started Nov 19 in London, United Kingdom
Silicon Valley Deep Specification
176 Deep Specification explorers
Started Jan 9 in Redwood City, USA