| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| archives.idtx | 2025-Aug-14 17:31:31 | 13.2K | application/octet-stream |
| documents.idtx | 2025-Oct-20 12:57:43 | 33.7K | application/octet-stream |
| expressions.idtx | 2025-Oct-13 16:39:23 | 56.5K | application/octet-stream |
| html.idtx | 2025-Jul-04 08:53:51 | 9.8K | application/octet-stream |
| imports.idtx | 2025-Feb-12 17:25:45 | 6.8K | application/octet-stream |
| metatheory.idtx | 2025-Aug-14 17:22:09 | 3.5K | application/octet-stream |
| modules.idtx | 2025-Jul-03 14:37:04 | 16.7K | application/octet-stream |
| morphisms.idtx | 2025-Sep-14 15:14:28 | 22.8K | application/octet-stream |
| notations.idtx | 2025-Sep-14 15:20:34 | 27.4K | application/octet-stream |
| others.idtx | 2025-May-05 11:16:59 | 0.6K | application/octet-stream |
| proofs.idtx | 2025-Sep-14 08:25:01 | 14.4K | application/octet-stream |
| smsmode.idtx | 2025-Feb-17 13:45:05 | 9.9K | application/octet-stream |
| statements.idtx | 2025-Mar-30 11:47:07 | 11.2K | application/octet-stream |
| structures.idtx | 2025-Sep-24 14:33:15 | 7.7K | application/octet-stream |
| symbols.idtx | 2025-Jul-03 08:48:36 | 25.2K | application/octet-stream |
| uris.idtx | 2025-Mar-30 14:19:51 | 16.4K | application/octet-stream |
| utilities.idtx | 2025-Apr-19 15:19:56 | 33.0K | application/octet-stream |
| variables.idtx | 2025-Feb-12 17:26:55 | 9.5K | application/octet-stream |