| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Win7ActivateShScripts.reg | Feb 7th, 2025 | Never | 1,753 | 0 | REG | - |
| w2.out - Prover9 output file that contains the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 6,698 | 0 | PostScript | - |
| w2.in - Prover9 input file that led to the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 452 | 0 | PostScript | - |
| w2.in - exemplary Prover9 input file | Mar 3rd, 2024 | Never | 442 | 0 | PostScript | - |
| m-exs-sample.sh | Mar 3rd, 2024 | Never | 94 | 0 | Bash | - |
| w2-proof-l2_1.txt | Mar 3rd, 2024 | Never | 68 | 0 | None | - |
| pmproofs-summary.txt | Mar 3rd, 2024 | Never | 103 | 0 | None | - |
| top5000SmallestConclusions_1to13Steps.txt - https://math.stackexchange.com/q/3746161 | Dec 13th, 2023 | Never | 113 | 0 | None | - |
