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) |
|---|---|---|
| LICENSE.txt | 18.7k | 2019-06-02 07:55:26 |
| README.md | 359 | 2019-06-02 07:55:26 |
| bpextra.sty | 193 | 2019-06-02 07:55:26 |
| bussproofs-extra.dtx | 22.1k | 2019-06-02 07:55:26 |
| bussproofs-extra.ins | 2.1k | 2019-06-02 07:55:26 |
| bussproofs-extra.pdf | 220.1k | 2019-06-02 07:55:26 |
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: