•        0

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




comments powered by Disqus

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

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>