Tema · deductive-reasoning

deductive-reasoning

Repositorios de código abierto monitorizados etiquetados con deductive-reasoning, ordenados por estrellas.

Repositorios

Estrellas totales

3468

Estrellas de media

1156

Proporción

0,00%

Temas que aparecen con frecuencia junto a deductive-reasoning en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con deductive-reasoning.

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.
★ 1836+2Variación de estrellas de los últimos 7 días
#2
aeneas ↗@AeneasVerifOCaml
Una cadena de herramientas de verificación para programas en Rust.
★ 948+17Variación de estrellas de los últimos 7 días
#3
CreuSAT ↗@sarskoRust
CreuSAT: un solucionador SAT verificado formalmente escrito en Rust y verificado con Creusot.
★ 698+2Variación de estrellas de los últimos 7 días