Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
00may182022.tgz | 2022-05-18 15:42 | 301K | ||
00may182022/ | 2022-05-18 15:45 | - | ||
100thms/ | 2024-01-17 17:12 | - | ||
100thms_12.html | 2023-11-24 18:02 | 20M | ||
100thms_12.mg | 2023-11-20 17:03 | 1.7M | ||
100thms_12/ | 2024-01-17 17:10 | - | ||
100thms_12bkp1.html | 2023-11-24 15:25 | 20M | ||
2022course/ | 2022-03-14 15:49 | - | ||
AIMMonsterDraft1 | 2018-11-02 11:55 | 1.0M | ||
AIMMonsterDraft1.html | 2018-11-02 12:21 | 2.8M | ||
AIMMonsterDraft1.pdf | 2018-11-02 11:55 | 774K | ||
Axioms.tar.7z | 2020-04-20 14:28 | 2.3M | ||
BrownSmolkaEFO.pdf | 2018-04-18 12:35 | 216K | ||
CVC4mda.tgz | 2021-03-10 13:20 | 92M | ||
CVC4mfeb272021.tgz | 2021-02-27 16:36 | 120M | ||
CategoryNov2022.mg | 2022-11-23 15:10 | 49K | ||
EandWfull.tgz | 2020-12-15 16:46 | 648M | ||
EandWpart.tgz | 2020-12-09 13:25 | 25M | ||
FormalNumbers.tgz | 2021-11-26 18:32 | 1.1M | ||
FormalNumbers/ | 2022-02-20 14:50 | - | ||
FroCoSslides.pdf | 2023-09-16 14:17 | 288K | ||
HOTGSurreal1to4v1.kif | 2022-04-11 16:05 | 183K | ||
HOTGSurreal1to4v2.kif | 2022-04-11 16:50 | 204K | ||
HOTGSurreal1to4v4.kif | 2022-04-13 14:08 | 222K | ||
HOTGSurreal1to4v5.kif | 2022-04-13 17:34 | 224K | ||
IndExamplesForCernaSep2020.tgz | 2020-09-07 12:24 | 1.5M | ||
IntsAndDiadRationals1.pdf | 2021-02-21 15:43 | 336K | ||
PfgDeduktiSttforall1.mg | 2020-08-11 16:50 | 14K | ||
PfgEAug2022Preamble.pfg | 2022-10-04 16:33 | 532K | ||
PfgEOct2021Preamble0.mgs | 2022-01-08 16:34 | 226K | ||
PfgIntro1.mp4 | 2020-10-06 21:10 | 119M | ||
Ramsey4TPTPMay2023.tgz | 2023-05-25 17:34 | 3.9K | ||
Ramsey_4_4_18_cnf.tgz | 2023-03-27 14:24 | 183K | ||
Ramsey_4_4_18_jan312023.tgz | 2023-03-27 14:24 | 677K | ||
Ramsey_4_4_18_smt2.tgz | 2023-03-27 14:24 | 94K | ||
Ramsey_4_4_18_th0.tgz | 2023-03-27 14:24 | 223K | ||
SMT2021-12minute-video.mp4 | 2021-07-12 12:56 | 274M | ||
SMT2021-12minute-video.webm | 2021-07-12 12:57 | 141M | ||
SMT2021-25minute-video.mp4 | 2021-07-14 12:26 | 500M | ||
SMT2021-25minute-video.webm | 2021-07-14 12:34 | 274M | ||
SatisfyingSetIntuitionisticRussell.v | 2019-12-02 16:14 | 529 | ||
SmallRamseyATP.tgz | 2023-03-27 14:25 | 7.2K | ||
TQG33soln.mg | 2023-01-23 17:29 | 887K | ||
addassoc_tff.p | 2019-06-27 17:33 | 1.1K | ||
addcom_tff.p | 2019-06-27 17:34 | 1.1K | ||
addnatcom.p | 2022-10-05 18:24 | 519 | ||
adrprobs715.tgz | 2023-06-09 16:53 | 71K | ||
aim_interactive_advisor.tgz | 2020-09-23 14:29 | 53K | ||
aimleap.ml | 2020-11-16 17:10 | 132K | ||
aimleap2.mp4 | 2020-09-23 18:06 | 79M | ||
aimleap2.tgz | 2020-09-23 14:29 | 64K | ||
aimleap3.tgz | 2020-10-13 18:45 | 1.1M | ||
aimleap3b.tgz | 2020-11-06 15:01 | 1.1M | ||
aimleap3d.tgz | 2020-11-18 11:54 | 66K | ||
aimleapOct2019.tgz | 2019-10-29 16:40 | 61K | ||
aimleapinfo/ | 2020-10-09 11:00 | - | ||
aimleapnonthms.tgz | 2020-11-18 11:56 | 5.5K | ||
aimleapshort.tex | 2019-11-25 16:10 | 23K | ||
aimtff1.tgz | 2018-11-08 13:06 | 2.1K | ||
aimtff2.tgz | 2018-11-08 13:05 | 675 | ||
aitp2020-aimleap.tgz | 2019-12-03 14:26 | 178K | ||
allprobstheoryorder | 2019-04-04 19:03 | 454K | ||
apr222020/ | 2020-04-22 16:56 | - | ||
arithtests1.tgz | 2020-11-26 17:59 | 2.2M | ||
aug012022/ | 2022-08-01 18:53 | - | ||
aug312022/ | 2022-08-31 21:48 | - | ||
bamberg-slides.pdf | 2022-11-14 15:24 | 401K | ||
bitlist1.tgz | 2021-12-12 15:06 | 2.2M | ||
bitlist2.tgz | 2021-12-12 15:06 | 2.2M | ||
bitlist3.tgz | 2021-12-13 14:29 | 2.2M | ||
blah12 | 2022-05-04 21:00 | 2.2M | ||
blah12alt | 2022-05-05 13:05 | 2.2M | ||
blahbig | 2022-05-04 21:00 | 30M | ||
broken1/ | 2019-02-12 11:26 | - | ||
candarray.ml | 2020-10-27 13:25 | 3.5M | ||
card_1/ | 2019-03-28 20:16 | - | ||
casc_sexpr_hol4.tgz | 2020-10-24 16:16 | 2.1M | ||
cbs/ | 2017-05-11 18:28 | - | ||
cekpg/ | 2022-11-07 14:48 | - | ||
chainyHL4v2Dec2019.tgz | 2019-12-17 19:56 | 316M | ||
chainy_tf0.tar.7z | 2020-04-20 14:03 | 24M | ||
chainy_tf0/ | 2020-04-20 14:19 | - | ||
chainy_tf0_Apr2020.tgz | 2020-04-16 18:08 | 164M | ||
chk-2.tgz | 2022-05-06 18:49 | 2.4M | ||
chk4.tgz | 2022-05-18 14:34 | 32M | ||
chkpfgMay132022.tgz | 2022-05-13 17:37 | 3.1M | ||
clone/ | 2018-10-12 17:59 | - | ||
cn2to16fg.p | 2022-02-14 20:44 | 639 | ||
cn2to22.p | 2022-02-14 19:46 | 533 | ||
cnf_todo_files.tgz | 2021-09-05 13:24 | 34M | ||
coq-cbs-cl-auto-full.mp4 | 2022-04-09 20:00 | 74M | ||
coq2020b.mp4 | 2020-05-13 22:07 | 67M | ||
cutlearnerdemo.tgz | 2020-05-11 20:09 | 806K | ||
d.tgz.gpg | 2021-03-01 11:31 | 1.4M | ||
dbApr232021.tgz | 2021-04-23 17:26 | 475M | ||
dbJuly112022.tgz | 2022-07-11 18:15 | 1.0G | ||
dbNov242020.tgz | 2020-11-24 11:03 | 271M | ||
dbmJan032022.tgz | 2022-01-03 13:33 | 510M | ||
dbmJan182022.tgz | 2022-01-18 21:18 | 518M | ||
dbm_dump_Jan032023.tar | 2023-01-03 18:37 | 1.3G | ||
dec032020/ | 2020-12-03 17:23 | - | ||
dec122022/ | 2022-12-12 15:34 | - | ||
dec172021.tgz | 2021-12-17 17:26 | 9.4M | ||
dec212021.tgz | 2021-12-21 12:26 | 2.2M | ||
discrdiscriprover.pdf | 2020-04-26 22:31 | 142K | ||
discriminator-1.0.tgz | 2020-05-11 20:09 | 450K | ||
discrnotesApr172020.pdf | 2020-04-17 21:40 | 381K | ||
docs494 | 2021-12-18 21:32 | 68M | ||
doodleMar2020.png | 2020-03-23 17:58 | 50K | ||
doodleMar242020.png | 2020-03-24 15:26 | 111K | ||
dotlitecoinSep202021b.tgz | 2021-09-20 20:00 | 1.0G | ||
dotproofgoldCLeafDec162021.tgz | 2021-12-16 13:43 | 712M | ||
dotproofgoldDec052021db123.tgz | 2021-12-05 20:00 | 2.6G | ||
dotproofgoldNov032021.tgz | 2021-11-03 18:26 | 731M | ||
dotproofgoldNov302021.tgz | 2021-11-30 21:08 | 863M | ||
dotproofgoldSep202021.tgz | 2021-09-20 16:51 | 669M | ||
dotproofgoldcoreDec122021.tgz | 2021-12-12 15:28 | 777M | ||
dotproofgoldnettestJan022022.tgz | 2022-01-02 17:39 | 565M | ||
dr100.tgz | 2023-06-23 14:13 | 10K | ||
dr100b.tgz | 2023-07-11 15:42 | 9.8K | ||
dr100c.tgz | 2023-07-13 13:49 | 13K | ||
egalmanual.pdf | 2019-01-11 11:10 | 902K | ||
egaltarskiacicm2019.tgz | 2019-02-11 11:26 | 35K | ||
epidemicApr202020a.tgz | 2020-04-20 10:53 | 6.1M | ||
ev1smt2.tgz | 2022-05-24 15:34 | 19K | ||
ev2probs.tgz | 2022-05-26 22:13 | 27M | ||
ev2probsfd4.tgz | 2022-05-27 14:39 | 8.3M | ||
ev2th0-full-data1.tgz | 2022-05-26 17:24 | 1.4M | ||
evarith1.tgz | 2019-11-05 14:04 | 264K | ||
evarith2.tgz | 2019-11-05 14:04 | 264K | ||
evcomb1.tgz | 2019-11-07 10:24 | 570K | ||
examplenames1.txt | 2023-06-29 14:51 | 1.4K | ||
feb052022.tgz | 2022-02-05 20:54 | 355K | ||
feb082022b.tgz | 2022-02-08 19:04 | 624K | ||
feb092022c | 2022-02-10 09:14 | 9.2K | ||
feb2021preamble.html | 2021-02-14 11:49 | 1.9M | ||
feb2021preamble.pdf | 2021-02-18 11:21 | 2.3M | ||
feb2021preambleold1.pdf | 2021-02-11 19:50 | 2.3M | ||
feb132022.tgz | 2022-02-13 18:12 | 456K | ||
feb152022results | 2022-02-15 15:22 | 47K | ||
feb162022res.lisp | 2022-02-16 15:07 | 63K | ||
feb272021tests.tgz | 2021-02-27 16:36 | 21K | ||
finseteval.tgz | 2019-10-23 15:27 | 13M | ||
flmsg.txt | 2022-08-29 18:15 | 2.6K | ||
fofproblemsoct2019.tgz | 2019-10-18 10:05 | 2.3K | ||
forThibault.tgz | 2020-08-21 15:16 | 335K | ||
frocos23postscript.pdf | 2024-03-21 15:15 | 168K | ||
gcd_2_3.tgz | 2020-03-06 20:57 | 1.5K | ||
gcdm1bushyfof.tgz | 2020-03-13 09:14 | 26K | ||
gcdm1probsfof.tgz | 2020-03-13 09:15 | 18K | ||
gcdm1thms.txt | 2020-03-13 09:42 | 6.6K | ||
gcdm2probsfof.tgz | 2020-03-21 15:18 | 65K | ||
generatedsetformssofar | 2019-10-25 16:23 | 130K | ||
gennu/ | 2023-04-14 14:10 | - | ||
groups12Jul2021.tgz | 2021-07-15 15:51 | 4.1K | ||
grundlagen-thf-ltb.tgz | 2017-07-31 18:51 | 2.0M | ||
grundlagen-thf-orig.tar.7z | 2016-11-28 17:54 | 10M | ||
grundlagen-thf-orig.tar.gz | 2016-11-28 17:54 | 1.3G | ||
grundlagen-thf.tar.7z | 2016-12-01 14:57 | 5.0M | ||
grundlagen-thf.tar.gz | 2016-11-30 11:18 | 1.4G | ||
grunge-aitp-slides.pdf | 2019-04-07 23:32 | 486K | ||
grungeFromFeb122019/ | 2019-02-21 17:09 | - | ||
gs.html | 2017-08-02 11:26 | 125 | ||
hfconjs1000 | 2020-10-22 13:50 | 52K | ||
hfprim100.pdf | 2020-04-07 11:45 | 1.7M | ||
hfprimfof-0.1.tgz | 2020-04-07 11:46 | 128K | ||
hfsetprobcurriculum30k | 2019-10-31 18:05 | 446K | ||
hfsetprobseasy2fof.tgz | 2019-11-04 12:47 | 29K | ||
hfsetprobseasy3fof.tgz | 2019-11-04 15:15 | 28K | ||
hfsetprobseasy4fof.tgz | 2019-11-04 22:38 | 28K | ||
hfsetprobseasyfof.tgz | 2019-10-31 17:13 | 27K | ||
hfsetprobseasyprov9.tgz | 2019-11-08 14:47 | 44K | ||
hfsetprobsfof.tgz | 2019-10-29 14:03 | 3.7M | ||
hfsetprobsprov9.tgz | 2019-11-07 14:56 | 5.6M | ||
hoas/ | 2022-02-28 13:58 | - | ||
hoatpchallengeexamples.pdf | 2019-03-29 18:01 | 78K | ||
hol4_bushy_mg.tgz | 2020-12-16 16:54 | 1.8G | ||
hol4_bushy_mg/ | 2020-12-05 13:00 | - | ||
hol4_bushy_mg_summary | 2020-12-05 13:00 | 1.3M | ||
hol4totptp2.tgz | 2020-01-17 16:41 | 2.0M | ||
hol4totptp2generatedjan2020.tgz | 2020-01-17 14:27 | 464M | ||
hol4totptp2generatedjan2020/ | 2020-01-16 17:09 | - | ||
host.pdf | 2019-07-08 13:28 | 1.6M | ||
hotgpfgMay052022 | 2022-05-05 18:52 | 28M | ||
idl2_3.bin | 2022-05-05 19:16 | 5.2K | ||
idl2_4.bin | 2022-05-05 19:16 | 8.3K | ||
idl2_5.bin | 2022-05-05 19:16 | 14K | ||
idl2_6.bin | 2022-05-05 19:16 | 25K | ||
idl2_7.bin | 2022-05-05 19:16 | 48K | ||
idl2_8.bin | 2022-05-05 19:16 | 96K | ||
idl2_9.bin | 2022-05-05 19:16 | 213K | ||
idl2_10.bin | 2022-05-05 19:16 | 484K | ||
idl2_11.bin | 2022-05-05 19:16 | 1.0M | ||
idl2_12.bin | 2022-05-05 19:16 | 2.2M | ||
idl2_13.bin | 2022-05-05 19:16 | 4.7M | ||
idl2_14.bin | 2022-05-05 19:16 | 9.9M | ||
idl2_15.bin | 2022-05-05 19:16 | 21M | ||
idl2_16.bin | 2022-05-05 19:16 | 44M | ||
idl2info.tgz | 2022-05-03 17:01 | 5.8M | ||
idl13.tgz | 2022-05-02 10:58 | 18M | ||
ijcar2022lash/ | 2022-02-17 16:21 | - | ||
ijcar2022lashdata/ | 2022-02-17 16:11 | - | ||
indexes.tgz | 2021-09-20 20:05 | 3.7G | ||
itercons20.p | 2022-02-14 22:18 | 516 | ||
itercons21.p | 2022-02-14 22:18 | 522 | ||
itercons22.p | 2022-02-14 22:18 | 528 | ||
itercons23.p | 2022-02-14 22:18 | 534 | ||
itercons24.p | 2022-02-14 22:18 | 540 | ||
jitpro/ | 2021-11-24 20:42 | - | ||
june2020/ | 2020-06-16 12:57 | - | ||
june2020b.tar | 2020-06-25 16:43 | 95M | ||
june2020b/ | 2020-06-25 16:42 | - | ||
k.p | 2020-01-30 14:38 | 872 | ||
k2to9_100.tgz | 2021-03-22 16:38 | 100K | ||
kappa1.9347.th0.p | 2022-08-30 21:41 | 3.8M | ||
kappa2.9347.th0.p | 2022-08-30 21:43 | 3.8M | ||
kappa3.9347.th0.p | 2022-08-30 21:45 | 3.8M | ||
l51_arytm_2.pfg | 2020-12-13 13:49 | 255 | ||
lash-1.0-feb082022.tgz | 2022-02-08 18:45 | 2.5M | ||
lash-1.0-feb12.tgz | 2022-02-12 15:56 | 316K | ||
lash-1.0-feb13.tgz | 2022-02-13 12:03 | 331K | ||
lash-1.0-feb14.tgz | 2022-02-15 15:17 | 473K | ||
lash-1.0-reptms-feb092022.tgz | 2022-02-09 20:15 | 2.5M | ||
lash-1.0-reptms.tgz | 2022-02-08 18:42 | 462K | ||
lash-1.0.tgz | 2022-02-15 22:47 | 331K | ||
lash-1.1-feb23.tgz | 2022-02-23 13:29 | 328K | ||
lash-1.1-feb25a.tgz | 2022-02-25 12:37 | 329K | ||
lash-1.1-feb27a.tgz | 2022-02-27 21:26 | 332K | ||
lash-1.1-feb28a.tgz | 2022-02-28 10:50 | 332K | ||
lash-1.1-feb28b.tgz | 2022-02-28 12:19 | 332K | ||
lash-1.11tstp-June222022a.tgz | 2022-06-22 15:29 | 3.2M | ||
lash-1.11tstp-jun21.tgz | 2022-06-21 18:23 | 3.2M | ||
lash-1.13-swapconsts.tgz | 2023-03-22 15:47 | 254K | ||
lash-1.13.tgz | 2022-09-16 12:29 | 253K | ||
lash-1.14rc1.tgz | 2023-08-28 15:28 | 256K | ||
lash-d-jan272022.tgz | 2022-01-27 18:05 | 593K | ||
lash-d-jan272022b.tgz | 2022-01-27 19:33 | 593K | ||
lash-d-jan282022.tgz | 2022-01-28 14:30 | 593K | ||
lash-from-satallax-2.7-jan202022b.tgz | 2022-01-20 18:53 | 3.8M | ||
lash-name-int.tgz | 2022-01-31 20:48 | 484K | ||
lash-source-feb092024.tgz | 2024-02-10 16:20 | 254K | ||
lash/ | 2023-09-21 13:20 | - | ||
lash60succ | 2023-06-29 16:18 | 226K | ||
lash_d_mode213b_report_jan282022.txt | 2022-01-28 14:30 | 25K | ||
lashflags.txt | 2022-06-20 15:23 | 3.4K | ||
leancheck.tgz | 2020-01-20 18:13 | 13M | ||
legend | 2022-01-08 16:35 | 172K | ||
links.php | 2016-08-09 14:44 | 271 | ||
litecoin-0.18.1-x86_64-linux-gnu.tar.gz | 2021-09-20 18:29 | 30M | ||
manylemmas1611pfsv3.tgz | 2018-10-22 15:14 | 276K | ||
manylemmasaimlines | 2018-10-23 16:48 | 482K | ||
manylemmasaimlineswithblanks | 2018-10-23 16:48 | 482K | ||
mar102021tests.tgz | 2021-03-10 21:26 | 7.1K | ||
mar152022.txt | 2022-03-15 15:32 | 1.0K | ||
mar252024/ | 2024-03-25 13:39 | - | ||
mar312023.tgz | 2023-03-31 16:56 | 4.8M | ||
megalodon-1.0.tgz | 2020-09-14 16:31 | 937K | ||
megalodon-1.1.tgz | 2020-11-08 18:19 | 1.8M | ||
megalodon-1.2.tgz | 2020-12-17 17:58 | 3.4M | ||
megalodon-1.3.tgz | 2020-12-28 19:16 | 5.4M | ||
megalodon-1.4.tgz | 2021-02-04 16:11 | 8.3M | ||
megalodon-1.5.tgz | 2021-02-21 15:00 | 8.3M | ||
megalodon-1.6.tgz | 2021-07-31 12:42 | 23M | ||
megalodon-1.7.tgz | 2021-09-03 12:13 | 23M | ||
megalodon-1.8.tgz | 2021-11-26 13:51 | 13M | ||
megalodon-1.9.tgz | 2022-09-22 15:58 | 20M | ||
megalodon-1.10.tgz | 2023-03-03 16:16 | 20M | ||
megalodon-1.11.tgz | 2023-09-15 15:57 | 70M | ||
megalodon/ | 2023-11-24 18:44 | - | ||
megalodonAug112020.tgz | 2020-08-11 16:53 | 1.7M | ||
megalodonAug212020.tgz | 2020-08-21 15:17 | 1.7M | ||
merge2socrates15.6025.min.th0.p | 2022-09-01 17:22 | 1.1M | ||
merge2socrates15.6025.th0.p | 2022-09-01 17:22 | 1.1M | ||
mfAug2020visit.tgz | 2021-09-23 17:21 | 481M | ||
mgpfgidsAug2022.lisp | 2022-08-02 11:21 | 5.1M | ||
mgpfgramsey.pdf | 2020-12-29 13:20 | 721K | ||
mgsurrealsgth0.tgz | 2022-11-01 13:06 | 1.1G | ||
mgsurrealsgth0bushy.tgz | 2022-11-10 19:19 | 61M | ||
mgsurrealsgth0chainy.tgz | 2022-11-10 19:24 | 1.1G | ||
millionAIMrewritesOct2018.tgz | 2018-10-22 13:10 | 213M | ||
mizaim-Aug292018.tgz | 2018-08-29 15:39 | 374K | ||
mizaim.tgz | 2018-09-11 17:41 | 1.2M | ||
mizaimSep032018.tgz | 2018-09-03 19:30 | 409K | ||
mizar-thf-ltb.tgz | 2017-08-02 14:38 | 4.1M | ||
mizar40_mg.lisp | 2020-12-15 13:49 | 420K | ||
mizar40_mg.tgz | 2020-12-16 16:46 | 2.1G | ||
mizar40_mg/ | 2020-12-05 13:21 | - | ||
mizar40_mg_summary | 2020-12-05 13:20 | 2.7M | ||
mizarelaborator.tgz | 2018-11-23 16:25 | 7.5M | ||
mizarho/ | 2017-04-18 17:47 | - | ||
mmlmg.tgz | 2023-09-04 14:18 | 265M | ||
mmmg.tgz | 2022-09-21 11:56 | 45M | ||
mmmgv4.tgz | 2022-08-02 14:13 | 44M | ||
mmportclassv1.tgz | 2023-01-26 18:32 | 19M | ||
mmportfofv3b.tgz | 2023-01-20 16:51 | 19M | ||
mmportfofv5.tgz | 2023-01-04 17:44 | 177K | ||
mmportthfv3.tgz | 2022-07-07 18:58 | 27M | ||
mmsetclassv1.ax | 2023-02-08 17:40 | 16M | ||
mmsetclassv1c.ax.gz | 2023-02-06 15:24 | 1.1M | ||
mmsetclassv1e.ax | 2023-02-11 13:01 | 24M | ||
mmsetthf_v1.tgz | 2022-07-01 15:25 | 28M | ||
mmsetthf_v2.tgz | 2022-07-01 19:11 | 27M | ||
mmsetthfv2.ax | 2022-07-01 19:10 | 20M | ||
mmsetthfv4.tgz | 2022-08-02 14:36 | 26M | ||
modalWorlds4.thf | 2022-08-30 14:51 | 1.6K | ||
mptp_thf.tgz | 2016-03-19 14:03 | 39M | ||
namechanges.txt | 2017-08-01 15:15 | 574 | ||
nbr335.in | 2023-06-12 16:22 | 1.8K | ||
nbr336.in | 2023-06-12 16:19 | 1.8K | ||
negdataDec022019 | 2019-12-02 16:00 | 602M | ||
newcheckingcode.ml | 2020-10-16 15:35 | 17K | ||
nov102021.tgz | 2021-11-10 15:30 | 29K | ||
nov152021.tgz | 2021-11-15 14:41 | 3.2M | ||
nov232022.tgz | 2022-11-23 14:33 | 1.2M | ||
nsubq_1_2pic.png | 2019-11-04 19:46 | 255K | ||
oct282019b.tgz | 2019-10-28 10:59 | 347K | ||
oct302019v1 | 2019-10-30 10:57 | 1.4M | ||
oct302019v2 | 2019-10-30 10:57 | 1.4M | ||
oeis-mgpg1000.tgz | 2023-05-16 16:40 | 4.8M | ||
ownedNov022021 | 2022-01-08 16:33 | 7.5M | ||
ownedNov032020 | 2020-11-03 13:23 | 3.7M | ||
ownedSep212021 | 2021-09-21 18:21 | 7.0M | ||
ownedSep222021 | 2021-09-23 12:56 | 7.0M | ||
pfgaim.pdf | 2020-10-16 15:56 | 215K | ||
pfghf.pdf | 2020-08-31 13:44 | 493K | ||
pfghfold1.pdf | 2020-08-31 11:31 | 364K | ||
pfgmizar.pdf | 2020-08-30 15:29 | 263K | ||
pfgprobs.tgz | 2020-07-16 18:29 | 1.8M | ||
pfgsetbestblocks.txt | 2021-12-19 19:53 | 2.8M | ||
pfgslides.pdf | 2020-06-24 12:14 | 169K | ||
piwo2022slides.pdf | 2022-04-21 12:50 | 562K | ||
prarith1.tgz | 2019-11-05 16:05 | 36K | ||
pre/ | 2024-03-13 14:56 | - | ||
problemmodesJune2022.txt | 2022-06-22 11:09 | 285K | ||
problemmodesJune2022b.txt | 2022-06-22 16:27 | 279K | ||
probset1 | 2022-02-13 14:32 | 26K | ||
probset2 | 2022-02-13 14:59 | 26K | ||
probsetbig | 2022-02-14 09:59 | 7.4K | ||
probsetsmall | 2022-02-14 09:59 | 18K | ||
probsetsmallsatallax | 2022-02-14 11:24 | 15K | ||
proofgold-lava-0.2.9.1alt1.tgz | 2023-05-11 10:49 | 11M | ||
proofsNp1.mg | 2022-01-08 15:31 | 14K | ||
proofsNp1.pfg | 2022-01-08 15:31 | 44K | ||
queryfornames.txt | 2023-06-29 14:51 | 177K | ||
r336k2_10kcurriculum.tgz | 2023-05-22 18:59 | 316K | ||
r336th0k3posslashbug.p | 2023-05-22 18:03 | 851 | ||
r349.p | 2022-02-09 20:03 | 1.9K | ||
r3617ham.pdf | 2023-04-13 13:41 | 22K | ||
r_2_6_6_p9.in | 2023-03-24 14:15 | 1.9K | ||
r_3_6_17_hamiltoniancircuit.pdf | 2023-04-12 17:39 | 6.4K | ||
r_3_6_17_hamiltoniancircuit.png | 2023-04-12 17:37 | 14K | ||
r_3_6_17_hamiltoniancircuit.ps | 2023-04-12 17:37 | 14K | ||
regularityproblems.tgz | 2019-07-04 15:04 | 1.1K | ||
rootnamesAug2022 | 2022-08-02 11:17 | 2.7M | ||
rtree16 | 2020-12-01 16:29 | 192K | ||
s/ | 2023-03-14 15:28 | - | ||
sat-Mikolas-Oct092023a.tgz | 2023-10-16 16:15 | 95M | ||
satallax-3.4d-reptms-feb092022.tgz | 2022-02-09 20:15 | 2.9M | ||
satallax-3.4d-reptms.tgz | 2022-02-08 18:42 | 484K | ||
satallax-3.4f.tgz | 2022-02-16 16:53 | 15M | ||
satallax.tgz | 2018-04-18 18:39 | 3.4M | ||
satallax/ | 2016-05-05 11:14 | - | ||
satallaxproverwebpage.tgz | 2016-05-12 12:56 | 3.4M | ||
sb.html | 2021-02-14 11:49 | 88K | ||
sbmg.pdf | 2022-03-14 15:38 | 298K | ||
sep212022pfs.tgz | 2022-09-21 15:40 | 740K | ||
separation_nat_add_fo_problems.tgz | 2019-06-24 14:30 | 1.7K | ||
set.lisp | 2023-02-03 13:15 | 1.3M | ||
set.lisp.gz | 2023-02-03 13:16 | 24M | ||
set1725lisp.txt | 2022-06-30 18:13 | 798K | ||
set1725mmu.txt | 2022-06-30 18:13 | 676K | ||
setsslides.pdf | 2020-01-31 15:37 | 192K | ||
simpledifficult.pdf | 2019-11-11 12:36 | 103K | ||
smt2021probs.tgz | 2021-07-08 13:55 | 2.9M | ||
smt2022pfsApr232022.pdf | 2022-04-23 19:38 | 522K | ||
smt2022pfsApr252022.pdf | 2022-04-25 15:32 | 299K | ||
smt2022pfsApr272022.pdf | 2022-04-27 17:27 | 522K | ||
smt_real_recip_ex_1thm.tgz | 2022-01-13 16:52 | 4.4M | ||
smtintfuncsynth-0.2-Mar082023.tgz | 2023-03-08 14:59 | 43M | ||
smtintfuncsynth-0.2-preMar062023.tgz | 2023-03-06 17:59 | 9.8M | ||
smtintfuncsynth-0.2.tgz | 2023-03-09 16:24 | 12M | ||
smtintfuncsynth-0.3.tgz | 2023-05-06 12:30 | 12M | ||
smtintfuncsynthDec012022.tgz | 2022-12-01 17:19 | 20M | ||
smtlib.1035171.smt2.2.smt2 | 2023-03-09 17:42 | 3.2K | ||
smtpigeonhole.tgz | 2021-09-02 16:31 | 2.3K | ||
smtsempfs.pdf | 2021-10-12 14:11 | 197K | ||
smtsempfs.tgz | 2021-09-15 16:07 | 2.8M | ||
socket-satallax-machine-learning.tgz | 2018-08-08 17:56 | 188K | ||
sol | 2022-02-14 14:47 | 2.0K | ||
sumo2set-0.3.tgz | 2022-10-31 14:34 | 45M | ||
sumo2set-0.7.tgz | 2022-10-31 14:34 | 253M | ||
sumo2set-0.9.tgz | 2023-03-03 17:01 | 153M | ||
sumo2set2023tr4z.pdf | 2023-05-22 18:31 | 348K | ||
sumo_brush.p | 2022-04-06 17:58 | 9.5K | ||
sumocade2023bushysg.tgz | 2023-01-20 17:48 | 126M | ||
sumocade2023bushytop.tgz | 2023-01-20 17:48 | 548K | ||
sumoexample1e.pdf | 2022-04-05 15:53 | 49K | ||
sumoknowsIntro.mp4 | 2023-06-27 10:45 | 40M | ||
surjcantor1_fof.p | 2019-06-18 17:21 | 208 | ||
surjcantor1_thf.p | 2019-06-18 17:21 | 445 | ||
surjcantor2_fof.p | 2019-06-18 17:21 | 309 | ||
surjcantor2_thf.p | 2019-06-18 17:21 | 610 | ||
swaps | 2022-11-06 17:23 | 339 | ||
sygusproblemsMar072023.tgz | 2023-03-07 16:49 | 247K | ||
sygusproblemsMar082023a.tgz | 2023-03-08 13:00 | 647K | ||
sygusproblemsMar082023b.tgz | 2023-03-09 09:35 | 660K | ||
sygusproblemsMar082023c.tgz | 2023-03-09 09:35 | 661K | ||
synthsetDec2019 | 2019-12-02 17:08 | 5.7M | ||
t3xregularsubprobs.tgz | 2021-11-22 17:54 | 47K | ||
takereq3th0.tgz | 2023-07-20 17:52 | 1.8K | ||
talk2023a.pdf | 2023-09-08 13:07 | 482K | ||
test1.ml | 2020-12-01 16:28 | 1.4K | ||
thffof.tgz | 2018-09-25 23:18 | 27K | ||
thibault.html | 2019-04-10 18:24 | 213 | ||
thm1discrdraft1.pdf | 2020-04-14 11:37 | 198K | ||
tmp99.txt | 2022-07-20 15:38 | 486 | ||
tndec2020/ | 2020-12-12 06:31 | - | ||
tps-sbcl-failure.txt | 2022-04-09 10:39 | 1.4K | ||
tps3-110228.tgz | 2022-04-09 10:26 | 8.6M | ||
try100ebg1.tgz | 2021-08-30 19:34 | 36M | ||
try100ebg3.tgz | 2021-09-16 14:04 | 43M | ||
twosettheories.pdf | 2019-07-03 15:19 | 863K | ||
twosettheories.tgz | 2019-03-14 17:16 | 1.4M | ||
univchoicegivesunivclass.p | 2019-06-28 16:22 | 1.2K | ||
upcpoints.pdf | 2021-08-12 17:54 | 50K | ||
videos/ | 2017-11-07 12:27 | - | ||
xboole_0__s1_xboole_0 | 2019-03-28 20:59 | 865 | ||
zfseparationtests.tgz | 2019-06-12 16:24 | 823K | ||
zfseparationtests2.tgz | 2019-06-18 12:07 | 163K | ||