Claude Code Skill to write better Lean4 proofs

(spec.workers.io) by chaitanyya | Mar 6, 2026 | 1 comments on HN