![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| 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 | |
| GoedelGod.mg | 2025-04-30 14:53 | 3.7K | |
| GoedelGodPreamble.mgs | 2025-04-30 14:54 | 4.9K | |
| 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 | |
| Sha256c.mg | 2024-12-08 17:25 | 46K | |
| Sha256ctest1.mg | 2024-12-08 17:25 | 2.6M | |
| SixMillionDollarProblems.tgz | 2025-08-21 16:27 | 4.7M | |
| 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 | |
| adjex1.html | 2025-04-23 16:46 | 175K | |
| 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 | |
| atppfs2025/ | 2025-07-25 16:45 | - | |
| aug012022/ | 2022-08-01 18:53 | - | |
| aug312022/ | 2022-08-31 21:48 | - | |
| bamberg-slides.pdf | 2022-11-14 15:24 | 401K | |
| bccachanslides.pdf | 2025-09-30 17:38 | 130K | |
| 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 | |
| dec122022/ | 2022-12-12 15:34 | - | |
| dec172021.tgz | 2021-12-17 17:26 | 9.4M | |
| dec212021.tgz | 2021-12-21 12:26 | 2.2M | |
| detptpize.lisp | 2025-03-24 17:37 | 394 | |
| 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 | |
| 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 | |
| f12_chainy_probs.tgz | 2025-03-10 15:28 | 2.5G | |
| f12_mg_all_th0.tgz | 2025-03-06 14:36 | 178M | |
| 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 | |
| fof_recon_candidates.tgz | 2025-03-11 13:48 | 6.0K | |
| fofproblemsoct2019.tgz | 2019-10-18 10:05 | 2.3K | |
| foibt2025.pdf | 2025-01-03 15:16 | 336K | |
| foo1892.txt | 2025-02-06 14:54 | 1.6K | |
| 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 | |
| hammering_beamer_with_screenshots.pdf | 2025-08-19 14:48 | 1.1M | |
| 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 | |
| hfsetprobsfof200.tgz | 2024-08-13 16:06 | 8.9K | |
| 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 | |
| inf_model_imps_smt.tgz | 2025-07-14 16:51 | 11K | |
| 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-1.13.tgz | 2025-03-21 16:22 | 82M | |
| megalodon/ | 2025-03-18 18:53 | - | |
| 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 | |
| mg_fof_mar2025.tgz | 2025-03-03 15:31 | 10M | |
| mg_th0_mar2025.tgz | 2025-03-03 15:31 | 157M | |
| 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 | |
| outlinesuccFeb032025.tgz | 2025-02-03 17:40 | 224K | |
| 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 | |
| pfgaimp9v1.tgz | 2024-08-26 17:51 | 280K | |
| pfgaimp9v2.tgz | 2024-08-27 15:30 | 301K | |
| pfgaimp9v3.tgz | 2024-08-28 15:50 | 301K | |
| 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 | |
| pgnslides.pdf | 2025-08-19 14:46 | 160K | |
| pigeonproofs.tgz | 2025-05-14 17:44 | 89M | |
| pigeonproofs3.tgz | 2025-05-22 12:55 | 65M | |
| pigeonproofs_small.tgz | 2025-05-15 15:28 | 127K | |
| 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-mgwiki-reports.tgz | 2025-10-01 14:36 | 24M | |
| 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 | |
| runsatdeflem.lisp | 2025-05-15 15:13 | 3.8K | |
| 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 | |
| setmmmgpfg/ | 2024-08-26 16:12 | - | |
| 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 | |
| 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 | |
| urls2.html | 2025-08-15 15:52 | 15K | |
| 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 | |