| File Name ↓ | File Size ↓ | Date ↓ |
|---|
| Parent directory/ | - | - |
| modules.idtx | 16.7 KiB | Nov 11, 2025 |
| morphisms.idtx | 22.8 KiB | Nov 11, 2025 |
| smsmode.idtx | 9.9 KiB | Nov 11, 2025 |
| html.idtx | 9.9 KiB | Nov 11, 2025 |
| others.idtx | 1.5 KiB | Jan 4, 2026 |
| statements.idtx | 11.3 KiB | Feb 27, 2026 |
| archives.idtx | 13.7 KiB | Apr 2, 2026 |
| notations.idtx | 27.1 KiB | Apr 3, 2026 |
| metatheory.idtx | 4.6 KiB | Apr 6, 2026 |
| variables.idtx | 10.2 KiB | May 15, 2026 |
| expressions.idtx | 58.1 KiB | May 16, 2026 |
| proofs.idtx | 19.9 KiB | May 16, 2026 |
| uris.idtx | 16.7 KiB | May 18, 2026 |
| structures.idtx | 8.3 KiB | Jun 4, 2026 |
| symbols.idtx | 25.3 KiB | Jun 4, 2026 |
| utilities.idtx | 33.3 KiB | Jun 4, 2026 |
| imports.idtx | 8.3 KiB | Jun 21, 2026 |
| documents.idtx | 34.9 KiB | Jun 25, 2026 |