• Related topics:

• Proof Theory ·
• Agda ·
• Dependently Typed Programming ·
• Coq ·
• Idris ·
• Constructive Logic ·
• Automated Reasoning ·
• _Type_ Theory ·
• Category Theory ·
• Proof Assistants

Largest theorem proving Meetups

• 1 Austin Types, Theorems, and Programming Languages 99 Members | Austin, TX
  Darren R.
  Organized by Darren R.
  Darren R.
  Organized by Darren R.
• 2 Idris User Group Düsseldorf 44 Dragons | Düsseldorf, Germany
  Janxu
  Organized by Janxu
  Janxu
  Organized by Janxu
• 3 Paris Idris Group 44 Membres | Paris, France
  Christophe C.
  Organized by Christophe C.
  Christophe C.
  Organized by Christophe C.
• 4 Formal Methods and Verified software meetup 44 Members | Lausanne, Switzerland
  André V.
  Organized by André V.
  André V.
  Organized by André V.

theorem proving Meetups are just getting started. You can start your own or check out related topics