- Home
- Topics
- Constructive Logic
- Worldwide
Constructive Logic
342
members3
groupsFind out what's happening in Constructive Logic Meetup groups around the world and start meeting up with the ones near you.
Largest Constructive Logic groups
- 1
Silicon Valley Deep Specification
176 Deep Specification explorers | Redwood City, USA
Vadim ZalivaOrganized by Vadim Zaliva - 2
Coq Users in PariS [CUPS]
114 membres | Paris, France
Emilio Jesús Gallego AriasOrganized by Emilio Jesús Gallego Arias - 3
Newest Constructive Logic groups
Coq Users in PariS [CUPS]
114 membres
Started Nov 29 in Paris, France
Paris Idris Group
52 Membres
Started Sep 12 in Paris, France
Silicon Valley Deep Specification
176 Deep Specification explorers
Started Jan 9 in Redwood City, USA