Version française
Home     About     Download     Resources     Contact us    
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:
http://www.math.carleton.ca/~kcheung/holnat.html

Kevin Cheung.