If you have any questions, or if you are interested in a collaboration, let us know and drop us an email at contact@proofpeer.net .

ProofPeer Team

• 

  Jacques Fleuriot

• 

  David Aspinall

• 

  Steven Obua

• 

  Phil Scott

Students

• 

  Yaqing Jiang

• 

  Sebastian Schulze

Collaborators

• 

  Thomas Hales

• 

  John Harrison

• 

  Gerwin Klein

• 

  Ekaterina Komendantskaya

• 

  Christoph Lüth

• 

  Alison Pease

---