Exploring AI-assisted proof-oriented programming with Copilot CLI and F*.