User:ADunn

From Openproofs

Revision as of 23:03, 11 January 2010 by DWheeler (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.)

Retrieved from "http://www.openproofs.org/wiki/User:ADunn"