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 pubished 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.


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