Blog · Tags

Posts by tag

about · 1computer-search · 1erdos · 2erdos-357 · 2lean · 1method · 3oeis · 2reader-question · 1receipts · 3when-sand-speaks · 1

about

• Why ProjectForty2 has a blog now Oct 29, 2026

computer-search

• Erdős #357: two new numbers, each checked twice Oct 29, 2026

erdos

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026
• Erdős #357: two new numbers, each checked twice Oct 29, 2026

erdos-357

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026
• Erdős #357: two new numbers, each checked twice Oct 29, 2026

lean

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026

method

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026
• Why ProjectForty2 has a blog now Oct 29, 2026
• How to read a ProjectForty2 receipt Oct 29, 2026

oeis

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026
• Erdős #357: two new numbers, each checked twice Oct 29, 2026

reader-question

• From the comments, #1: "What is this video even talking about?" Oct 29, 2026

receipts

• Erdős #357, any order: a Lean-checked step past 3/2, and how we checked it Nov 2, 2026
• How to read a ProjectForty2 receipt Oct 29, 2026
• Erdős #357: two new numbers, each checked twice Oct 29, 2026

when-sand-speaks

• From the comments, #1: "What is this video even talking about?" Oct 29, 2026