| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Win7ActivateShScripts.reg | Feb 7th, 2025 | Never | 654 | 0 | REG | - |
| w2.out - Prover9 output file that contains the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 5,618 | 0 | PostScript | - |
| w2.in - Prover9 input file that led to the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 312 | 0 | PostScript | - |
| w2.in - exemplary Prover9 input file | Mar 3rd, 2024 | Never | 318 | 0 | PostScript | - |
| m-exs-sample.sh | Mar 3rd, 2024 | Never | 74 | 0 | Bash | - |
| w2-proof-l2_1.txt | Mar 3rd, 2024 | Never | 41 | 0 | None | - |
| pmproofs-summary.txt | Mar 3rd, 2024 | Never | 78 | 0 | None | - |
| top5000SmallestConclusions_1to13Steps.txt - https://math.stackexchange.com/q/3746161 | Dec 13th, 2023 | Never | 84 | 0 | None | - |
