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/ | 2024-05-05 19:50 | - | ||
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/ | 2024-06-07 22:49 | - | ||
8.1.14_5.79.1465/ | 2024-07-26 17:41 | - | ||
10.1007_978-3-319-63046-5_34.pdf | 2018-05-18 10:18 | 457K | ||
1147/ | 2024-05-05 19:50 | - | ||
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 | 2024-08-06 12:40 | 5.8K | ||
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 | ||
MizAR.html.old4 | 2022-06-24 16:17 | 5.7K | ||
MizAR24demo.ogv | 2024-08-06 22:17 | 67M | ||
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 | ||
agi24.pdf | 2024-08-14 17:30 | 2.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 | - | ||
bob2/ | 2024-09-08 15:56 | - | ||
bonn20.pdf | 2020-02-03 07:26 | 434K | ||
bonn24_af.pdf | 2024-07-12 08:56 | 584K | ||
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/ | 2024-07-26 13:34 | - | ||
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 | - | ||
cvc/ | 2024-07-21 14:32 | - | ||
cvc5-conv | 2023-11-14 15:37 | 30M | ||
cvc5-current-jan-20240115 | 2024-01-15 16:24 | 33M | ||
cvc5-default-60s-pout-alethe.tar.gz | 2024-07-18 00:06 | 4.2K | ||
cvc5-default-60s-pout-lfsc.tar.gz | 2024-07-18 00:06 | 104K | ||
cvc5-default-60s-pout.tar.gz | 2024-07-17 23:44 | 146K | ||
cvc5-gnn.pdf | 2024-02-28 18:17 | 408K | ||
cvc5-tptp2smt.sh | 2024-01-29 15:14 | 114 | ||
cvcgr-slides.pdf | 2024-08-08 23:24 | 580K | ||
cvcgr-slides1.pdf | 2024-09-05 15:10 | 555K | ||
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 | - | ||
fmcad24.pdf | 2024-10-17 08:17 | 5.7M | ||
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 | - | ||
hol/ | 2020-01-28 16:21 | - | ||
html_abstr.930.tar.gz | 2006-07-12 23:11 | 35M | ||
html_abstr_930/ | 2024-05-29 18:30 | - | ||
i2f1.pdf | 2018-09-06 08:20 | 519K | ||
ihes22.pdf | 2022-05-13 09:03 | 3.8M | ||
inria24.pdf | 2024-10-16 10:42 | 5.7M | ||
inria24.pdf.old1 | 2024-10-16 07:42 | 5.7M | ||
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 | ||
isaafslides.pdf | 2024-09-06 09:34 | 349K | ||
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 | ||
mizar-rs-bigger.ogv | 2024-07-25 17:23 | 41M | ||
mizar-rs.ogv | 2024-07-19 21:46 | 41M | ||
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/ | 2024-05-05 19:50 | - | ||
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/ | 2024-06-07 22:49 | - | ||
mml5.79.1465/ | 2024-07-26 17:41 | - | ||
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 | - | ||
oai/ | 2024-05-05 07:03 | - | ||
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_file.pdf | 2024-07-19 20:11 | 26K | ||
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 | ||
prfgld2.pdf | 2024-07-02 14:33 | 2.2M | ||
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 | - | ||
rwss24.pdf | 2024-09-24 12:33 | 6.8M | ||
sat19.pdf | 2019-07-11 09:38 | 3.3M | ||
set.lisp.gz | 2024-09-11 16:16 | 4.3M | ||
set.lisp.gz.big | 2024-09-11 17:03 | 25M | ||
slidescicm14.pdf | 2014-08-26 19:42 | 35K | ||
smt-inputs.tar.gz | 2024-07-18 08:17 | 32K | ||
smtpairs1 | 2024-10-21 18:07 | 488K | ||
sri/ | 2024-08-07 02:43 | - | ||
sri24.pdf | 2024-05-31 18:42 | 5.7M | ||
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 | ||