free the spirit

Learn Shen
Community Wiki
OS Kernel 
OS Library
Shen Professional



Shen Professional Help Page


Want to learn more about Shen Professional? There's a growing list of help pages and you can browse them from here.

Using the Top Level
Programming Graphics
Programming Concurrency
The Griffon Compiler
The Model Checker
The Standard Extension

The Maths Library
The Complex Number Library
The Random Number Library
The Calendar Library
The String Library
The List Library
The Vector Library
The I/O Library
The Higher Order Function Library

Programming the Web

The Logic Lab

First Order Theorem Proving
PVS - Program Verification in Shen

The Ring