Scrapbook

The Lemma 1 scrapbook is an evolving miscellany of specification and programming examples and other odds and ends that someone, somewhere, may perhaps find interesting or instructive. The material is a by-product of various activities; feel free to use it as you please subject to the terms of the GNU General Public licence.

Currently the scrapbook has the following pages:

Java Colour Displayer - applets for exploring the Java colour model
Java Font Displayer - an applet to display the standard Java fonts in all their different shapes and styles
Constructing the Real Numbers - various material relating to the construction of the Real Numbers in ProofPower
Source tree - the source tree (or should that be source forest?) for the scrapbook code

Created by Rob Arthan [rda at lemma-one dot com]

Last updated: $Date: 2003/04/22 17:00:32 $