Skip to content

Constructive Logic

342

members

3

groups

Find out what's happening in Constructive Logic Meetup groups around the world and start meeting up with the ones near you.

Join Constructive Logic groups

Related topics:

Largest Constructive Logic groups

1
Silicon Valley Deep Specification
176 Deep Specification explorers | Redwood City, USA
Vadim Zaliva
Organized by Vadim Zaliva
Vadim Zaliva
Organized by Vadim Zaliva
2
Coq Users in PariS [CUPS]
114 membres | Paris, France
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias
Emilio Jesús Gallego Arias
Organized by Emilio Jesús Gallego Arias
3
Paris Idris Group
52 Membres | Paris, France
Christophe Calvès
Organized by Christophe Calvès
Christophe Calvès
Organized by Christophe Calvès

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