Wectar - Computers - Programming - Languages - ML - Caml

	submit a site to this category

Subcategories
Objective Caml@

	SPIKE URL: http://www.loria.fr/equipes/cassis/softwares/spike/ ODP description: Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads. Page title: The CASSIS Group
	Archive of Caml Weekly News URL: http://alan.petitepomme.net/cwn/ ODP description: Mailing list archive from 2001.11.27 to present, all HTML. Page title: CWN

Help build the largest human-edited directory on the web.