Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
HOL Light on ocamlnat
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: kcheung@m...
Subject: HOL Light on ocamlnat
I am pleased to announce that experiments
on loading HOL Light in ocamlnat have
been successful.  A 4x to 10x speedup on
various computations has been observed.

A preliminary how-to guide is available at:

Kevin Cheung.