gordon

  •        0

Gordon is a common-lisp library for generating flash (SWF) files.

http://cl-gordon.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

Hol-light - HOL Light, an LCF-style interactive theorem prover for classical higher-order logic


HOL LightHOL Light is an interactive LCF-style theorem prover for classical higher order logic. It is a clean redesign by John Harrison of the original HOL system designed by Mike Gordon in the 1980s. It is intended to help in the construction of formal proofs in pure mathematics or system verification. More informationHOL Light home page: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Tutorial: http://www.cl.cam.ac.uk/~jrh13/hol-light/tutorial.pdf Reference manual PDF: http://www.cl.cam.ac.uk/~jrh13