This is a mirror service in Toronto, Canada for some software I either use or think would prove useful to other people.
| Name | Size | Updated (UTC) |
|---|---|---|
| README | 655 | 2007-06-09 15:53:40 |
| synproof-doc.pdf | 67.4k | 2007-06-09 17:11:40 |
| synproof-doc.tex | 11.7k | 2007-06-09 17:03:42 |
| synproof.sty | 5.8k | 2009-07-05 14:26:42 |
Unfortunately, hosting this service isn't free. If you would like to help me offset the costs, feel free to send some money my way on:
If you are experiencing any issues with this service, you can contact me at: