Top : Computers : Programming : Languages : ML :
Caml
Websites
CWN from 2001.11.27 to present, all HTML.
site exerpt
Archives of Caml Weekly News The archives have moved to my current web page....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.
site exerpt
The CASSIS Group E system is an automatic theorem prover for Horn equational logics. SPIKE is written in Caml Light, a functional language of the ML family. The program is provided with a graphic interface in TCL/TK that allows for interaction through the...