| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| archives.idtx | 2026-Apr-02 16:14:29 | 13.6K | application/octet-stream |
| documents.idtx | 2026-Jun-25 07:00:56 | 34.9K | application/octet-stream |
| expressions.idtx | 2026-May-16 06:13:21 | 58.1K | application/octet-stream |
| html.idtx | 2025-Nov-11 09:28:01 | 9.8K | application/octet-stream |
| imports.idtx | 2026-Jun-21 05:48:34 | 8.2K | application/octet-stream |
| metatheory.idtx | 2026-Apr-06 14:32:36 | 4.6K | application/octet-stream |
| modules.idtx | 2025-Nov-11 09:28:01 | 16.7K | application/octet-stream |
| morphisms.idtx | 2025-Nov-11 09:28:01 | 22.8K | application/octet-stream |
| notations.idtx | 2026-Apr-03 07:07:18 | 27.1K | application/octet-stream |
| others.idtx | 2026-Jan-04 09:05:52 | 1.4K | application/octet-stream |
| proofs.idtx | 2026-May-16 15:16:18 | 19.8K | application/octet-stream |
| smsmode.idtx | 2025-Nov-11 09:28:01 | 9.9K | application/octet-stream |
| statements.idtx | 2026-Feb-27 12:42:04 | 11.2K | application/octet-stream |
| structures.idtx | 2026-Jun-04 08:27:43 | 8.2K | application/octet-stream |
| symbols.idtx | 2026-Jun-04 08:31:27 | 25.3K | application/octet-stream |
| uris.idtx | 2026-May-18 06:58:00 | 16.7K | application/octet-stream |
| utilities.idtx | 2026-Jun-04 08:49:54 | 33.3K | application/octet-stream |
| variables.idtx | 2026-May-15 08:09:33 | 10.2K | application/octet-stream |