veriT has been initiated and is developed by:
- David Déharbe ()
- Pascal Fontaine ().
Other developers have joined ship since. They are:
- Diego Caminha Barbosa de Oliveira (). Diego is the main developer of the arithmetic reasoning module and has contributed to the combination framework in the theory reasoning engine.
- Thomas Bouton (). Thomas has contributed to the QA infrastructure and the integration of the SAT solver with the theory reasoning engine.
