-
Mailing list archive from 2001.11.27 to present, all HTML.
-
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.
-
This is the official web page of the OCaml development team. Here you'll find the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in "The Humps"), style guidelines, books about OCaml.
|
|
