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

Largest theorem proving groups

1

Paris Idris Group

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

Yugawara Mathematical and Computer Programming Society

16 Members | Yugawara,
Photo of Yugawara Mathematical and Computer Programming SocietyOrganized by yasu
Train diagram
Books I am reading right now :-)
Show all
Newest theorem proving groups
Yugawara Mathematical and Computer Programming Society
16 Members
Started Jan 1 in Yugawara, jp
Paris Idris Group
53 Membres
Started Jan 1 in Paris, fr