Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 archives.idtx                              2026-04-02 18:14   14K  
 documents.idtx                             2026-06-25 09:00   35K  
 expressions.idtx                           2026-05-16 08:13   58K  
 html.idtx                                  2025-11-11 10:28  9.9K  
 imports.idtx                               2026-06-21 07:48  8.3K  
 metatheory.idtx                            2026-04-06 16:32  4.6K  
 modules.idtx                               2025-11-11 10:28   17K  
 morphisms.idtx                             2025-11-11 10:28   23K  
 notations.idtx                             2026-04-03 09:07   27K  
 others.idtx                                2026-01-04 10:05  1.5K  
 proofs.idtx                                2026-05-16 17:16   20K  
 smsmode.idtx                               2025-11-11 10:28  9.9K  
 statements.idtx                            2026-02-27 13:42   11K  
 structures.idtx                            2026-06-04 10:27  8.3K  
 symbols.idtx                               2026-06-04 10:31   25K  
 uris.idtx                                  2026-05-18 08:58   17K  
 utilities.idtx                             2026-06-04 10:49   33K  
 variables.idtx                             2026-05-15 10:09   10K  

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