Tarski is developed using Git, a fast, distributed version control system.
If you use Git, you can clone (or even fork) the Tarski repository on GitHub. Most development takes place on the master branch, and immutable tags are added for each public release, as well as some release candidates.
Changes committed to the main development branch are mirrored to the Subversion repository on a regular basis.