NummSquared 2006a0 is a new well-founded functional foundation for logic, mathematics and computer science.

The October 18, 2006 pre-release of NummSquared 2006a0 is available. It is the October 18, 2006 version of a PDF document entitled "NummSquared 2006a0 Done Formally". To view or print it, you need Adobe Reader 5.0 or later (available from Adobe) or Adobe Acrobat 5.0 or later.

To download the October 18, 2006 pre-release of NummSquared 2006a0, you must first read and accept the License Agreement.