Download of tetex-src-3.0.tar.gz (tetex-src-3.0.tar.gz ( external link: SF.net): 12,749,314 bytes) will begin shortly. If not so, click link on the left.
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.