User:ADunn

One of the sysops for this www.openproofs.org site. Responsible for Fedora's Why (http://why.lri.fr), Coq (http://coq.inria.fr), and Alt-Ergo (http://alt-ergo.lri.fr) packages among others. Would eventually like to see Frama-C (http://frama-c.cea.fr) and Proof General (http://proofgeneral.inf.ed.ac.uk/) packaged. ( Here would be a good place to check what has been done recently, and here  gives a more complete overall picture.)