| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| w2.out - Prover9 output file that contains the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 124 | 0 | PostScript | - |
| w2.in - Prover9 input file that led to the first constructive proofs of A2,L1 from w2 | Jul 12th, 2024 | Never | 104 | 0 | PostScript | - |
| w2.in - exemplary Prover9 input file | Mar 3rd, 2024 | Never | 106 | 0 | PostScript | - |
| m-exs-sample.sh | Mar 3rd, 2024 | Never | 57 | 0 | Bash | - |
| w2-proof-l2_1.txt | Mar 3rd, 2024 | Never | 28 | 0 | None | - |
| pmproofs-summary.txt | Mar 3rd, 2024 | Never | 67 | 0 | None | - |
| top5000SmallestConclusions_1to13Steps.txt - https://math.stackexchange.com/q/3746161 | Dec 13th, 2023 | Never | 72 | 0 | None | - |
