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.md | 1.2k | 2024-10-17 12:16:53 |
| temporal-logic-doc.pdf | 524.7k | 2024-10-17 12:16:53 |
| temporal-logic.dtx | 19.6k | 2024-10-17 12:16:53 |
| temporal-logic.ins | 1.5k | 2024-10-17 12:16:53 |
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: