LATEST NEWS
The support page for the text Logic, Proof and Computation is established.
______________________________
Shen Education Channel starts on Youtube.
______________________________
Faster, smaller S31 Shen kernel released; read about the S series of kernels here.
______________________________
Fourth edition of 'The Book of Shen' released; read about it here.
______________________________
Bruno Deferrari wins the first Shen Open Science prize.
______________________________
Yggdrasil project launched - the grand unification of programming languages.
______________________________
Want to advertise on this site? Go to the contacts page. |