Descrição
Coordena diagnósticos e navegação da linguagem Verus para IDEs por um front end derivado do rust-analyzer. Desenvolvedores o configuram em editores para projetos Rust verificados; a ferramenta local lê código-fonte e caminhos de projeto.
FICHA · AUR
Front-end do compilador Verus para IDEs, derivado do rust-analyzer
pt-br · fallback Coordena diagnósticos e navegação da linguagem Verus para IDEs por um front end derivado do rust-analyzer. Desenvolvedores o configuram em editores para projetos Rust verificados; a ferramenta local lê código-fonte e caminhos de projeto.
verus-analyzer
Comandos: verus-analyzer
Permissões ainda não analisadas para esta fonte.