![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00.pdf | 2022-05-26 20:40 | 27K | |
| 00V20only | 2020-06-30 19:18 | 3.0K | |
| 00allfreq1 | 2024-02-04 10:08 | 6.5K | |
| 00allmmlax_noguards.gz | 2024-01-27 20:01 | 1.9M | |
| 00comp2 | 2019-02-21 22:04 | 1.0M | |
| 00lassenames | 2020-02-18 11:38 | 254K | |
| 00lgbm_loop_4M.log | 2020-11-19 12:24 | 97K | |
| 00lgbm_loop_4M1.log | 2020-11-19 21:05 | 95K | |
| 00log_proved1min_lr004 | 2020-11-07 15:40 | 108K | |
| 00newdeps__min_more | 2016-03-15 11:46 | 1.2M | |
| 00proved_20210902 | 2023-02-23 13:02 | 528K | |
| 00th4 | 2020-04-01 21:04 | 1.2M | |
| 00todo1 | 2020-06-30 19:26 | 241K | |
| 02UNSAT | 2023-11-27 05:54 | 50K | |
| 7.11.07_4.156.1112/ | 2020-02-18 21:31 | - | |
| 7.13.01_4.181.1147/ | 2020-11-13 16:05 | - | |
| 8.0.01_5.6.1169/ | 2018-05-08 12:19 | - | |
| 8.1.03_5.29.1227/ | 2016-07-11 16:06 | - | |
| 8.1.05_5.37.1275/ | 2019-11-06 16:54 | - | |
| 8.1.08_5.50.1318/ | 2018-08-27 19:22 | - | |
| 8.1.10_5.63.1382/ | 2021-07-17 17:16 | - | |
| 10.1007_978-3-319-63046-5_34.pdf | 2018-05-18 10:18 | 457K | |
| 1147/ | 2020-11-13 16:05 | - | |
| 1169/ | 2018-01-09 18:33 | - | |
| 2019_02_13_hol4_fof_bushy.tar.gz | 2019-02-13 13:00 | 21M | |
| 2020-09-PartnerPresentationTemplate.pdf | 2020-09-21 09:13 | 224K | |
| 2022-05-LASH.tar.gz | 2022-05-09 10:43 | 5.5K | |
| AI4REASON-Interview.ogg | 2022-06-04 08:25 | 10M | |
| AITP_2020_paper_11.pdf | 2020-01-25 19:44 | 219K | |
| AITP_2020_paper_21.pdf | 2020-01-17 21:21 | 180K | |
| AI_sem/ | 2022-04-25 23:22 | - | |
| AR.gif | 2016-06-16 04:00 | 303 | |
| CICM-slides-Wang.pdf | 2018-10-09 16:41 | 23M | |
| CodeMirror/ | 2016-06-16 17:57 | - | |
| E22auto_bushy5s1 | 2019-11-30 16:58 | 180K | |
| ET02/ | 2019-02-08 18:45 | - | |
| ET20.tar.gz | 2017-07-19 14:57 | 6.1M | |
| ET_solve/ | 2019-08-06 08:14 | - | |
| Edbg3/ | 2018-08-11 00:15 | - | |
| Ewatch/ | 2016-09-11 12:06 | - | |
| Ewatch1/ | 2018-01-23 10:44 | - | |
| Gmail - Informace z dnešního jednání AS.pdf | 2018-09-14 07:06 | 86K | |
| IEEE_CS_Latex8.5x11x2.zip | 2016-07-22 08:19 | 766K | |
| MPTP20.pdf | 2023-08-01 08:33 | 304K | |
| MaLARea---0.5.tar.gz | 2016-05-23 20:25 | 19M | |
| MaLARea---0.9.tar.gz | 2020-06-29 22:40 | 153M | |
| MaLeCoP.pdf | 2023-09-27 10:42 | 242K | |
| MizAR-ITP-talk.pdf | 2023-09-13 14:08 | 418K | |
| MizAR.html | 2022-06-24 16:17 | 5.7K | |
| MizAR.html.old1 | 2016-07-22 21:54 | 5.6K | |
| MizAR.html.old2 | 2018-08-28 10:06 | 5.6K | |
| MizAR.html.old3 | 2022-06-24 16:17 | 5.7K | |
| MizarSample.tptp | 2017-07-11 16:19 | 71K | |
| Mizar_eval_final_split/ | 2021-02-21 10:21 | - | |
| PalmTree.jpg | 2016-06-16 04:00 | 938 | |
| SH5795.tar.gz | 2015-06-12 18:27 | 22M | |
| TPTP.gif | 2016-06-16 04:00 | 97 | |
| TSTP.gif | 2016-06-16 04:00 | 92 | |
| WP.ico | 2016-06-16 04:00 | 318 | |
| ab1.html | 2017-09-25 19:55 | 135K | |
| abstract.pdf | 2019-12-06 20:23 | 180K | |
| adl/ | 2023-03-23 16:48 | - | |
| agi18.pdf | 2018-08-24 09:54 | 1.2M | |
| agi21.pdf | 2021-10-18 23:57 | 1.7M | |
| ai4reason/ | 2021-02-08 08:52 | - | |
| ai4reason6.pdf | 2016-09-01 11:48 | 752K | |
| ai4reason91a.pdf | 2018-10-25 14:20 | 2.6M | |
| ai4reason91b.pdf | 2018-11-14 10:02 | 6.7M | |
| ai4reason91c.pdf | 2019-11-21 14:07 | 5.9M | |
| aimc/ | 2021-05-25 16:01 | - | |
| aimleap3b.tgz | 2020-11-06 15:01 | 1.1M | |
| aimleap3c.tar.gz | 2020-11-16 18:30 | 2.4M | |
| aimm/ | 2018-11-08 12:53 | - | |
| aimr2/ | 2018-11-16 12:37 | - | |
| aimrewrite/ | 2018-10-18 15:41 | - | |
| ams11_pres/ | 2011-01-14 14:31 | - | |
| ap1/ | 2022-10-26 17:36 | - | |
| arxsim.html | 2019-08-01 20:15 | 463 | |
| atp-proofs/ | 2019-06-16 12:38 | - | |
| backup2l.conf | 2018-02-06 08:23 | 13K | |
| bartosz/ | 2018-03-19 21:21 | - | |
| bartosz1/ | 2018-03-12 14:41 | - | |
| bartosz2/ | 2018-03-22 15:35 | - | |
| bla.pdf | 2018-04-13 19:07 | 174K | |
| blistr/ | 2019-04-16 10:58 | - | |
| bob/ | 2017-12-11 10:53 | - | |
| bob1/ | 2024-01-28 16:36 | - | |
| bonn20.pdf | 2020-02-03 07:26 | 434K | |
| bp1.pdf | 2019-05-30 10:28 | 1.3M | |
| bp1/ | 2019-02-13 17:06 | - | |
| brown/ | 2021-01-21 15:18 | - | |
| bushy_tst/ | 2019-04-27 20:12 | - | |
| c1/ | 2018-01-29 14:46 | - | |
| ca/ | 2022-10-21 09:45 | - | |
| cacorr24.pdf | 2024-01-18 09:18 | 22K | |
| cbs/ | 2017-03-16 21:18 | - | |
| cbshol/ | 2017-03-22 15:39 | - | |
| cek3.zip | 2021-01-12 09:46 | 779K | |
| cgi-bin/ | 2022-12-10 00:27 | - | |
| chad/ | 2020-03-06 15:19 | - | |
| ciirc23.pdf | 2023-06-02 09:39 | 7.9M | |
| clone/ | 2018-10-22 12:19 | - | |
| cml/ | 2017-10-05 11:35 | - | |
| cnfgnn/ | 2019-08-13 11:29 | - | |
| compr/ | 2019-06-12 12:58 | - | |
| conj/ | 2018-02-28 14:46 | - | |
| conj1/ | 2020-05-26 12:04 | - | |
| cuda-repo-ubuntu1604_10.0.130-1_amd64.deb | 2018-09-19 01:36 | 2.8K | |
| cudadnn/ | 2018-04-25 13:08 | - | |
| cvc5-conv | 2023-11-14 15:37 | 30M | |
| cvc5-current-jan-20240115 | 2024-01-15 16:24 | 33M | |
| cvc5-gnn.pdf | 2024-02-28 18:17 | 408K | |
| cvc5-tptp2smt.sh | 2024-01-29 15:14 | 114 | |
| cvut23.pdf | 2023-10-25 09:04 | 614K | |
| dag19.pdf | 2019-09-03 16:03 | 3.2M | |
| dagstuhl23.pdf | 2023-10-08 22:37 | 1.3M | |
| datasets.zip | 2019-10-18 19:33 | 320K | |
| dement19.pdf | 2019-08-25 14:29 | 7.6M | |
| demo.ogv | 2017-09-14 11:19 | 18M | |
| deps_from_nmt_and_xgb.tar.gz | 2020-02-10 22:15 | 2.2M | |
| detex.html | 2020-02-28 19:48 | 545 | |
| detex1.html | 2020-02-28 23:57 | 545 | |
| dpkg-selections.log | 2019-11-25 11:42 | 100K | |
| enig1/ | 2019-03-26 08:36 | - | |
| enigma-ex.pdf | 2021-01-13 20:48 | 333K | |
| enigma-itp19-talk.pdf | 2019-09-12 00:11 | 506K | |
| enigma_prf/ | 2021-09-03 12:17 | - | |
| enigma_prf_graph/ | 2023-03-12 13:16 | - | |
| enigma_prob/ | 2020-05-07 08:32 | - | |
| enigmatic_casc/ | 2020-06-22 18:27 | - | |
| enspm22.pdf | 2022-07-18 17:31 | 4.0M | |
| esegfaultmin.p | 2022-10-19 20:04 | 3.9K | |
| fcop/ | 2017-12-08 20:12 | - | |
| fcop1/ | 2018-02-25 15:29 | - | |
| feat/ | 2022-07-04 17:18 | - | |
| features1 | 2017-07-31 09:43 | 2.6M | |
| feb2021f/ | 2021-02-11 21:14 | - | |
| fig1.png | 2018-02-25 10:23 | 935K | |
| finaxset.pdf | 2018-03-01 16:30 | 74K | |
| fm1/ | 2018-01-17 18:00 | - | |
| fof_export.tar.gz | 2019-01-17 16:04 | 20M | |
| fof_export/ | 2019-01-14 18:16 | - | |
| formal19.pdf | 2019-06-07 14:52 | 8.2M | |
| ga/ | 2023-03-23 17:36 | - | |
| ghf/ | 2022-06-30 19:33 | - | |
| gnn_enigma/ | 2020-05-25 10:42 | - | |
| gnnboost/ | 2020-04-10 19:50 | - | |
| gnnpl/ | 2020-07-20 15:17 | - | |
| grunge/ | 2019-02-12 16:07 | - | |
| grunge1/ | 2019-02-22 16:00 | - | |
| hales60.pdf | 2018-06-30 15:21 | 7.2M | |
| harvard21.pdf | 2021-01-14 12:30 | 2.3M | |
| hfvideo1.mp4 | 2020-04-07 16:23 | 25M | |
| hh2/ | 2018-11-21 20:19 | - | |
| hhutils/ | 2023-02-19 09:14 | - | |
| i2f1.pdf | 2018-09-06 08:20 | 519K | |
| ihes22.pdf | 2022-05-13 09:03 | 3.8M | |
| inst1.pdf | 2018-07-27 19:21 | 297K | |
| ipr1/ | 2018-04-25 12:48 | - | |
| isa.html | 2022-05-24 17:50 | 664 | |
| isa2.html | 2022-05-25 20:53 | 1.2K | |
| jelle_mptp_new/ | 2024-01-17 15:25 | - | |
| jh/ | 2022-09-27 15:20 | - | |
| jh1/ | 2023-01-11 17:45 | - | |
| jj/ | 2018-03-15 16:02 | - | |
| kk1/ | 2017-07-20 00:00 | - | |
| knn/ | 2017-11-24 14:49 | - | |
| l1 | 2019-12-04 20:20 | 4.0K | |
| lasse_knn/ | 2019-03-12 21:09 | - | |
| lb_coq/ | 2020-02-27 12:29 | - | |
| lcl/ | 2020-06-18 10:33 | - | |
| ld/ | 2020-02-29 00:00 | - | |
| leancop-proofs/ | 2019-02-21 07:01 | - | |
| leank1.zip | 2022-10-11 12:18 | 227M | |
| lem1/ | 2019-06-13 17:15 | - | |
| lfrg2/ | 2021-02-18 11:08 | - | |
| lgb/ | 2019-05-06 20:41 | - | |
| lias22a.pdf | 2022-09-15 07:31 | 13M | |
| link.html | 2020-03-10 18:58 | 457 | |
| link1.html | 2020-02-18 21:43 | 457 | |
| link2.html | 2021-08-09 18:52 | 457 | |
| link3.html | 2022-06-25 20:06 | 474 | |
| link11.html | 2020-03-10 18:58 | 458 | |
| lisboa21.pdf | 2021-07-14 12:28 | 1.3M | |
| lm/ | 2018-07-21 23:17 | - | |
| log11/ | 2020-03-28 12:31 | - | |
| ltb18.jpg | 2018-07-18 11:23 | 1.9M | |
| malecop_distro1311.tar.gz | 2013-11-21 19:25 | 2.9M | |
| master_4874_casc2019_minsubpreds4_300s.uns.txt | 2020-11-25 16:14 | 43K | |
| mir/ | 2022-05-29 13:01 | - | |
| mirek1/ | 2020-02-24 15:08 | - | |
| miz2.tar.gz | 2017-01-30 07:16 | 7.4M | |
| mizar-7.11.03_4.129.1070-i386-win32.exe | 2018-01-09 18:32 | 24M | |
| mizarelaborator/ | 2018-07-11 13:35 | - | |
| mizartypechecker.tar.gz | 2018-07-05 14:36 | 66K | |
| mj/ | 2024-02-11 00:34 | - | |
| mlarai3.pdf | 2016-02-05 14:15 | 572K | |
| mlarai7.pdf | 2017-01-26 15:15 | 1.0M | |
| mlarai8.pdf | 2017-02-09 10:35 | 1.1M | |
| mlarai81.pdf | 2017-08-31 09:21 | 916K | |
| mlarai92.pdf | 2017-09-15 09:23 | 4.4M | |
| mlarai92b.pdf | 2017-11-22 11:45 | 3.1M | |
| mlarai94.pdf | 2018-06-21 21:13 | 7.2M | |
| mlarai95.pdf | 2018-07-26 17:22 | 491K | |
| mlarai96.pdf | 2019-03-08 13:50 | 7.2M | |
| mlarai97.pdf | 2019-05-10 18:47 | 1.6M | |
| mm_prf/ | 2023-11-19 18:27 | - | |
| mml4.181.1147/ | 2020-11-13 16:05 | - | |
| mml5.6.1169/ | 2018-05-08 12:19 | - | |
| mml5.29.1227/ | 2016-07-11 16:06 | - | |
| mml5.37.1275/ | 2019-11-06 16:54 | - | |
| mml5.50.1318/ | 2018-08-27 19:22 | - | |
| mml5.63.1382/ | 2021-07-17 17:16 | - | |
| momm.pdf | 2010-12-06 19:30 | 319K | |
| ms234/ | 2023-07-28 16:49 | - | |
| myintro.pdf | 2017-06-29 09:46 | 72K | |
| n100_22.pdf | 2022-09-22 17:54 | 4.9M | |
| neural1.pdf | 2018-07-25 19:56 | 514K | |
| neural2.pdf | 2018-07-25 20:56 | 519K | |
| new_solved/ | 2019-07-17 15:27 | - | |
| newparser.patch | 2019-09-05 23:44 | 18K | |
| nips16/ | 2018-03-22 15:06 | - | |
| nmt1/ | 2018-04-17 13:21 | - | |
| nmt2/ | 2018-11-26 19:58 | - | |
| nn_conj20/ | 2020-05-28 14:30 | - | |
| nnconj_pres.pdf | 2020-07-30 08:22 | 2.0M | |
| novostal22.pdf | 2022-07-24 14:14 | 9.4M | |
| numbers1/ | 2018-10-22 08:15 | - | |
| oe/ | 2022-09-22 08:56 | - | |
| oe1/ | 2022-10-08 13:54 | - | |
| oecd21.pdf | 2021-11-05 19:17 | 2.8M | |
| oeis.html | 2022-02-24 12:34 | 788 | |
| oeis2.html | 2022-03-01 20:15 | 788 | |
| out4.ogv | 2011-01-10 13:33 | 9.9M | |
| outju5-2.ogv | 2023-09-02 16:17 | 16M | |
| outju5.ogv | 2022-06-25 13:40 | 27M | |
| output_test | 2022-09-27 00:47 | 630K | |
| p1/ | 2017-09-07 23:52 | - | |
| p9convert/ | 2020-11-23 19:11 | - | |
| paar22.pdf | 2022-08-11 07:31 | 4.7M | |
| paris21.pdf | 2021-12-11 09:35 | 2.8M | |
| pcm/ | 2018-01-20 16:03 | - | |
| pfgm1/ | 2021-09-15 08:53 | - | |
| pg.pdf | 2022-06-16 16:43 | 432K | |
| pg/ | 2023-11-19 19:38 | - | |
| plc/ | 2021-04-25 17:37 | - | |
| plot.png | 2021-02-01 01:16 | 224K | |
| poster2.pdf | 2017-06-23 09:02 | 1.3M | |
| pref2py.html | 2022-10-03 17:02 | 1.8K | |
| premisealgos.pdf | 2012-04-16 16:09 | 383K | |
| pres1/ | 2018-01-18 12:59 | - | |
| presentation-conjecturing-prague.pdf | 2017-07-14 10:20 | 129K | |
| presentation.pdf | 2017-07-14 10:22 | 202K | |
| print.min.js | 2019-06-10 20:53 | 14K | |
| prob_remote_e_1 | 2022-05-24 20:20 | 308K | |
| process-ivy-2.lisp | 2023-11-03 20:00 | 25K | |
| pw/ | 2018-10-10 14:42 | - | |
| qsynt_v3.html | 2022-07-07 15:20 | 1.8K | |
| quanta/ | 2021-12-19 03:59 | - | |
| rcv/ | 2019-07-19 17:22 | - | |
| remote_atp | 2022-05-25 17:09 | 2.9K | |
| remote_enigma | 2022-05-25 23:10 | 3.3K | |
| reprove-cnf-iprover/ | 2017-09-14 20:04 | - | |
| res/ | 2017-03-31 14:44 | - | |
| rl1.pdf | 2019-05-03 13:53 | 358K | |
| rlcop/ | 2020-02-24 16:18 | - | |
| sat19.pdf | 2019-07-11 09:38 | 3.3M | |
| stacks1/ | 2019-12-03 12:56 | - | |
| stacksSD.pdf | 2015-06-08 10:53 | 434K | |
| sw/ | 2023-06-11 08:45 | - | |
| synasc17sd.pdf | 2017-05-25 17:29 | 343K | |
| t2m/ | 2017-11-22 10:12 | - | |
| t10_fib_num2 | 2020-04-16 23:31 | 29K | |
| t14_connsp_1/ | 2019-04-24 19:52 | - | |
| t21_knaster | 2019-05-10 00:07 | 432K | |
| t54_vfunct_1__9 | 2022-08-25 23:50 | 2.3K | |
| t54_vfunct_1__9.cnf | 2022-08-25 23:50 | 4.1K | |
| t72_zf_lang1__1 | 2022-08-25 22:10 | 3.2K | |
| tactictoe_demo.mkv | 2018-10-09 17:55 | 5.5M | |
| tactictoe_demo.ogv | 2018-10-09 18:45 | 81M | |
| tactictoe_demo1.ogv | 2018-10-09 18:32 | 14M | |
| tca23.pdf | 2023-07-03 09:32 | 2.1M | |
| tff_example | 2022-05-25 20:04 | 308K | |
| tff_example.old | 2022-05-24 17:50 | 222K | |
| thf18.png | 2018-07-18 11:18 | 3.9M | |
| tmp1/ | 2017-03-12 00:34 | - | |
| tmp2/ | 2017-10-16 12:23 | - | |
| topos22.pdf | 2022-07-07 18:41 | 2.4M | |
| tt1/ | 2022-11-18 18:14 | - | |
| tt2/ | 2023-05-24 19:30 | - | |
| turing1.pdf | 2016-11-03 15:03 | 6.7M | |
| types18.pdf | 2018-06-20 12:41 | 600K | |
| unknown.zip | 2022-06-30 19:40 | 9.4M | |
| v1/ | 2021-04-11 08:31 | - | |
| vampire4343_casc2019_300s.csv | 2020-06-29 18:58 | 1.8M | |
| vampire_rel_static_master_4873.zip | 2020-11-13 20:11 | 3.9M | |
| videos/ | 2017-09-27 16:42 | - | |
| vino17/ | 2017-09-10 08:00 | - | |
| vm/ | 2021-01-29 12:21 | - | |
| vmonster/ | 2017-02-22 16:24 | - | |
| w2v/ | 2019-10-30 20:00 | - | |
| w2v_arx/ | 2019-08-01 20:47 | - | |
| wl02u.syms | 2018-02-10 10:19 | 16M | |
| wl1/ | 2019-02-15 19:45 | - | |
| wsx/ | 2018-04-23 14:58 | - | |
| xlm1/ | 2019-11-29 18:17 | - | |
| xsl4mizar/ | 2021-07-16 21:31 | - | |
| zoom_1.mp4 | 2020-07-29 19:21 | 139M | |
| zoomaitp/ | 2022-09-29 19:44 | - | |
| zz/ | 2021-02-23 23:36 | - | |
| zz1/ | 2023-02-09 18:03 | - | |
| zz345 | 2019-11-30 17:08 | 2.5K | |