Description
Formats Verus source code with an opinionated formatter for verified Rust projects. Developers run it before review or CI; formatter output should be checked before replacing carefully arranged proof code.
FICHA · AUR
verusfmt-bin
An Opinionated Formatter for Verus
- verus-formatter
- CLI
- Dev
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 5, 2026 description in
en How to run
verusfmt
Commands: verusfmt
Permissions
Permissions not analysed for this source yet.