Automated Reasoning Group HOL FTP page

University of Cambridge Computer Laboratory

Lab | ARG | Description | HOL | Isabelle | Members | Haiku

Picture of Lake Kananaskis taken by Alan Kane (akane@cadvision.com)

This is an inferior copy of the official HOL home-page.

Here are copies of a couple of the Kananaskis-1 files you might want to download:

Very old resources are available here.

Lab | ARG | Description | HOL | Isabelle | Members | Haiku

Page last updated on Mon Jun 17 15:03:21 BST 2002
by Michael Norrish (mn200@cl.cam.ac.uk)