- Home
- Topics
- Proof Assistants
- Worldwide
Proof Assistants
803
members17
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
211 Typists | London, United Kingdom
Paul Cadman
Organized by Paul Cadman - 2
Silicon Valley Deep Specification
154 Deep Specification explorers | Redwood City, USA
Christopher Brinkley
Organized by Christopher Brinkley - 3
Coq Users in PariS [CUPS]
110 membres | Paris, France
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias - 4
Formal Methods and Verified software meetup
49 Members | Lausanne, Switzerland
André Videla
Organized by André Videla - 5
- 6
- 7
- 8
- 9
- 10
Newest Proof Assistants groups
NYC HoTT Group
47 HoTTpockets
Started Jan 1 in New York, USA
Imandra Edinburgh
11 Members
Started Oct 30 in Edinburgh, United Kingdom
Imandra Vienna
16 Members
Started Oct 30 in Vienna, Austria
Imandra Cambridge
17 Members
Started Oct 29 in Cambridge, United Kingdom
Imandra San Francisco
20 Members
Started Oct 29 in San Francisco, USA
Imandra New York
25 Members
Started Oct 29 in New York, USA