Tema · proof

proof

Repositorios de código abierto monitorizados etiquetados con proof, ordenados por estrellas.

Repositorios

8

Estrellas totales

7070

Estrellas de media

884

Proporción

0,00%

Temas que aparecen con frecuencia junto a proof en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con proof.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
creusot ↗@creusot-rsRust
Creusot te ayuda a demostrar que tu código Rust es correcto.
★ 1834+4Variación de estrellas de los últimos 7 días
#2
rocq-of-rust ↗@formal-landRocq Prover
Herramienta de verificación formal para Rust: comprueba el 100% de los casos de ejecución de tus programas para crear aplicaciones más seguras.
★ 1161+3Variación de estrellas de los últimos 7 días
#3
cryptominisat ↗@msoosC++
Un solucionador SAT avanzado.
★ 940+1Variación de estrellas de los últimos 7 días
#4
CreuSAT ↗@sarskoRust
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
★ 696+5Variación de estrellas de los últimos 7 días
#5
agda-stdlib ↗@agdaAgda
La biblioteca estándar de Agda
★ 675+0Variación de estrellas de los últimos 7 días
#6
l4v ↗@seL4Isabelle
Especificación y pruebas de seL4
★ 633+3Variación de estrellas de los últimos 7 días
#7
verdi ↗@uwplseRocq Prover
Un framework para la verificación formal de implementaciones de sistemas distribuidos en Coq
★ 625+0Variación de estrellas de los últimos 7 días
#8
VST ↗@PrincetonUniversityRocq Prover
Cadena de herramientas de software verificado
★ 508+0Variación de estrellas de los últimos 7 días

← Volver a temas