| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README.md | 2026-Jan-06 17:10:03 | 1.1K | text/markdown;charset=utf-8 |
| temporal-logic.dtx | 2026-Jan-06 17:10:03 | 43.4K | application/octet-stream |
| temporal-logic.ins | 2026-Jan-06 17:10:03 | 1.5K | application/x-internet-signup |
| temporal-logic.pdf | 2026-Jan-06 16:05:55 | 511.1K | application/pdf |