| File Name ↓ | File Size ↓ | Date ↓ |
|---|
| Parent directory/ | - | - |
| others.idtx | 691 B | May 5, 2025 |
| metatheory.idtx | 3.5 KiB | Aug 14, 2025 |
| imports.idtx | 6.9 KiB | Feb 12, 2025 |
| structures.idtx | 7.8 KiB | Sep 24, 2025 |
| variables.idtx | 9.6 KiB | Feb 12, 2025 |
| html.idtx | 9.9 KiB | Jul 4, 2025 |
| smsmode.idtx | 9.9 KiB | Feb 17, 2025 |
| statements.idtx | 11.3 KiB | Mar 30, 2025 |
| archives.idtx | 13.2 KiB | Aug 14, 2025 |
| proofs.idtx | 14.4 KiB | Sep 14, 2025 |
| uris.idtx | 16.4 KiB | Mar 30, 2025 |
| modules.idtx | 16.7 KiB | Jul 3, 2025 |
| morphisms.idtx | 22.8 KiB | Sep 14, 2025 |
| symbols.idtx | 25.2 KiB | Jul 3, 2025 |
| notations.idtx | 27.4 KiB | Sep 14, 2025 |
| utilities.idtx | 33.0 KiB | Apr 19, 2025 |
| documents.idtx | 33.7 KiB | Oct 20, 2025 |
| expressions.idtx | 56.6 KiB | Oct 13, 2025 |