Add F* verification tooling, agent guidance, and runnable examples - #75068

Add F* verification tooling, agent guidance, and runnable examples#75068

pelikhan with Copilot wants to merge 4 commits into

maingithub/gh-aw:mainfrom

copilot/extend-gh-aw-formal-methods-fgithub/gh-aw:copilot/extend-gh-aw-formal-methods-fCopy head branch name to clipboard