Skip to content
Home
Topics
theorem proving
Worldwide
theorem proving
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,
Organized by Christophe Calvès
2
Yugawara Mathematical and Computer Programming Society
16 Members
|
Yugawara,
Organized by yasu
Show all
Newest theorem proving groups
Yugawara Mathematical and Computer Programming Society
16 Members
Started Jan 1 in Yugawara, jp
Paris Idris Group
54 Membres
Started Jan 1 in Paris, fr