| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Win7ActivateShScripts.reg | Feb 7th, 2025 | Never | 2,027 | 0 | REG | - |
| w2.out - Prover9 output file that contains the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 7,011 | 0 | PostScript | - |
| w2.in - Prover9 input file that led to the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 711 | 0 | PostScript | - |
| w2.in - exemplary Prover9 input file | Mar 3rd, 2024 | Never | 700 | 0 | PostScript | - |
| m-exs-sample.sh | Mar 3rd, 2024 | Never | 140 | 0 | Bash | - |
| w2-proof-l2_1.txt | Mar 3rd, 2024 | Never | 127 | 0 | None | - |
| pmproofs-summary.txt | Mar 3rd, 2024 | Never | 157 | 0 | None | - |
| top5000SmallestConclusions_1to13Steps.txt - https://math.stackexchange.com/q/3746161 | Dec 13th, 2023 | Never | 166 | 0 | None | - |
