Tarski Release Archive

I’ve just finished uploading all the old versions of Tarski—47 of them!—to GitHub, so if you ever need an old version, you can get it from the Tarski release archive.

The only one that seems to be missing is 1.0, so if anyone happens to have a copy kicking around, do let me know.

Tags: