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 | 543 | 2014-03-20 17:27:48 |
| logicproof.dtx | 24.0k | 2014-03-20 16:06:08 |
| logicproof.ins | 1.4k | 2014-03-20 16:06:14 |
| logicproof.pdf | 53.7k | 2014-03-20 16:06:18 |
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: