Authors

Ocamlwizard has been implemented by David Baudet and Mohamed Iguernelala. This project was an Ocaml Summer Project funded by Jane Street Capital.

The Emacs Lisp code is a contribution of Sylvain Conchon and Jean-Christophe Filliâtre. The Eclipse plugin is a contribution of Aurélien Oudot.