Tarski is now available as a Git repository, so if you’d like to use Git to follow Tarski development, you can now clone our Tarski repository, hosted on the glorious GitHub.
You are currently browsing the monthly archive for November 2008.
You are currently browsing the monthly archive for November 2008.
Tarski is now available as a Git repository, so if you’d like to use Git to follow Tarski development, you can now clone our Tarski repository, hosted on the glorious GitHub.