Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 expressions.idtx                           2025-10-13 18:39   57K  
 documents.idtx                             2025-10-20 14:57   34K  
 utilities.idtx                             2025-04-19 17:19   33K  
 notations.idtx                             2025-09-14 17:20   27K  
 symbols.idtx                               2025-07-03 10:48   25K  
 morphisms.idtx                             2025-09-14 17:14   23K  
 modules.idtx                               2025-07-03 16:37   17K  
 uris.idtx                                  2025-03-30 16:19   16K  
 proofs.idtx                                2025-09-14 10:25   14K  
 archives.idtx                              2025-08-14 19:31   13K  
 statements.idtx                            2025-03-30 13:47   11K  
 smsmode.idtx                               2025-02-17 14:45  9.9K  
 html.idtx                                  2025-07-04 10:53  9.9K  
 variables.idtx                             2025-02-12 18:26  9.6K  
 structures.idtx                            2025-09-24 16:33  7.8K  
 imports.idtx                               2025-02-12 18:25  6.9K  
 metatheory.idtx                            2025-08-14 19:22  3.5K  
 others.idtx                                2025-05-05 13:16  691   

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