N ngrislain.github.io Vibe Under Constraint - Claude Code writing Lean 4 3 points ngrislain 4 months ago 1 comments
