Lean Proof
Proves theorems in Lean one step at a time, hardest case first.
/lean-proofconnorads/dotfiles
More in Writing & content
- Ha AutomationCreate and debug Home Assistant automations, scripts, blueprints, and Jinja2 templates.
- Headline As ClaimRewrites section titles, slide titles, op-ed headlines, email subject lines, and chapter.
- Instagram Post BuilderBuilds a complete Instagram post with three hook options and a caption.
- Irrelevant Detail KillerCuts vivid details that don't serve your main point.
- Local SEO PlaybookRanks a local service business in the Google map pack and local organic results by.
- Local Unit EconomicsCost per lead by channel, booking rate, show rate, close rate, average ticket, and.
- LongreadWrites an analytical longform piece from raw idea to researched, challenged final text.
- Media MonitorTurns brand mentions into actionable comms.