Skip to content

theorem proving

Meet other local people interested in theorem proving: share experiences, inspire and encourage each other! Join a theorem proving group.
pin icon
70
members
people1 icon
2
groups

Largest theorem proving groups

Paris Idris Group
1

Paris Idris Group

  • Photo of the user Member 1
  • Photo of the user Member 2
  • Photo of the user Member 3
53 members
Yugawara Mathematical and Computer Programming Society
2

Yugawara Mathematical and Computer Programming Society

  • Photo of the user Member 1
  • Photo of the user Member 2
  • Photo of the user Member 3
17 members

Newest theorem proving groups

Yugawara Mathematical and Computer Programming Society

17 Members

Paris Idris Group

53 Membres