The Tarski forum has now closed on a permanent basis. My apologies to those who found it a useful resource, but it required too much ongoing maintenance and I would rather spend the limited time I have for open source work on programming rather than chasing spambots.

Benedict Eastaugh