Donations


 

 

We rely on donations and advertising to enable us to release documentation and source for free. We also try to reward our developers when we can through Open Science prizes. You can help us towards our objectives by donating to our work.

Donations received through the dedicated Paypal account and are used to fund our work. Accounts are published annually and we keep donor identity personal. You can choose to give either through a single one-off donation or through subscription.

For sponsors wanting to advertise through this site or for large donations we recommend that they contact Dr Mark Tarver through the contacts page.

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