ANU: The Australian National University
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________

Jim Grundy's Software

I write and maintain the following sofware packages:

ProofViews:
A tool publishing browsable versions of structured calculational proofs on the web.
The HOL Pair Library:
A Library for reasoning about pairs and more complex tuples in HOL.
The HOL Window Library:
A Library that supports window inference proof in HOL.
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________
Feedback & Queries: Jim Grundy
Date Last Modified: Thu 11 Nov 1999
Universal Ressource Locator: file:/home/jgrundy/www//Software/index.html