Saltar al contenido principal
buildradar
Iniciar sesión

creusot-rs/creusot

@creusot-rs

Creusot te ayuda a demostrar que tu código Rust es correcto.

Estrellas
1836
Bifurcaciones
90
Lenguaje
Rust
Licencia
LGPL-2.1
Último push
hace 1 semana
Rustrustrust-langformal-methodsformal-verificationproofverificationcontractsdeductive-reasoningwhy3

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.