Name                           Last modified      Size  Description
 Parent Directory                                    -   
 README.md                      2024-10-17 14:16  1.2K  
 temporal-logic-doc.pdf         2024-10-17 14:16  525K  
 temporal-logic.dtx             2024-10-17 14:16   20K  
 temporal-logic.ins             2024-10-17 14:16  1.5K  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health