Uploads by Z43ma
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
18:33, 13 November 2018 | fof sentence.png (file) | 42 KB | 1 | ||
18:42, 13 November 2018 | skolemized dnf.png (file) | 38 KB | 1 | ||
19:07, 13 November 2018 | tableaux example.png (file) | 44 KB | 1 | ||
19:23, 13 November 2018 | formal calculi.png (file) | 231 KB | 1 | ||
19:25, 13 November 2018 | formal tableaux.png (file) | 230 KB | 1 | ||
19:30, 13 November 2018 | matrix.png (file) | 33 KB | 1 | ||
20:26, 13 November 2018 | pathological.png (file) | 10 KB | 1 | ||
20:53, 13 November 2018 | mizar article.png (file) | 145 KB | 1 | ||
20:53, 13 November 2018 | mizar40 0.png (file) | 6 KB | 1 | ||
20:53, 13 November 2018 | mizar40 1.png (file) | 28 KB | 1 | ||
20:53, 13 November 2018 | mizar40 2.png (file) | 34 KB | 1 | ||
20:54, 13 November 2018 | mizar40 3.png (file) | 31 KB | 1 | ||
23:09, 13 November 2018 | atp result0.jpg (file) | 28 KB | 1 | ||
23:12, 13 November 2018 | atp result1.jpg (file) | 30 KB | 1 | ||
12:13, 15 November 2018 | zheng 946 presentation.pdf (file) | 690 KB | 1 |