Vibe Under Constraint - Claude Code writing Lean 4

(ngrislain.github.io)

3 points | by ngrislain 10 hours ago

1 comments