[codex] Polish Spring Initiative proof docs#141

monadic wants to merge 1 commit into

mainconfighub/examples:mainfrom

codex/spring-initiative-doc-polishconfighub/examples:codex/spring-initiative-doc-polishCopy head branch name to clipboard