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