|
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. |
LATEST NEWS
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. |
