Chat Room


 

 

LATEST NEWS

The support page for Shen/tk - a type secure platform portable interface to TCL/tk.

______________________________

The support page for the text Programming the Logic Lab now includes readable online access to the book.

______________________________

The support page for the text Logic, Proof and Computation is established.

______________________________

THORN Theorem prover derived from HORN clause logic is available.

______________________________

Shen Education Channel starts on Youtube.

______________________________

Yggdrasil project launched - the grand unification of programming languages.

______________________________

Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021