briangmilnes/APAS-VERUS

Proving 'Algorithms Parallel and Sequential' in Rust (APAS-AI) using Verus.

These files are briangmilnes/APAS-VERUS's own configuration. They tell GitHub Copilot and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.