Skip to content

docs: an adoption guide written to be handed to a coding agent - #181

Merged
AminChirazi merged 1 commit into
mainfrom
claude/flowproof-adopting-guide
Jul 27, 2026
Merged

docs: an adoption guide written to be handed to a coding agent#181
AminChirazi merged 1 commit into
mainfrom
claude/flowproof-adopting-guide

Commits

Commits on Jul 27, 2026