Skip to content
Meet other local people interested in theorem proving: share experiences, inspire and encourage each other! Join a theorem proving group.
70
members
2
groups
Join theorem proving groups
Related Topics:

Largest theorem proving groups

1

Paris Idris Group

54 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès