Sujet · proof

proof

Dépôts open source suivis étiquetés proof, triés par étoiles.

Dépôts

8

Total d'étoiles

7 070

Étoiles en moyenne

884

Part

0,00%

Sujets qui apparaissent souvent aux côtés de proof sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés proof.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
creusot ↗@creusot-rsRust
Creusot vous aide à prouver la correction de votre code Rust.
★ 1 834+4Évolution des étoiles sur les 7 derniers jours
#2
rocq-of-rust ↗@formal-landRocq Prover
Outil de vérification formelle pour Rust : vérifiez 100 % des cas d'exécution de vos programmes pour des applications plus sûres.
★ 1 161+3Évolution des étoiles sur les 7 derniers jours
#3
cryptominisat ↗@msoosC++
Un solveur SAT avancé
★ 940+1Évolution des étoiles sur les 7 derniers jours
#4
CreuSAT ↗@sarskoRust
CreuSAT - Un solveur SAT formellement vérifié, écrit en Rust et vérifié avec Creusot.
★ 696+5Évolution des étoiles sur les 7 derniers jours
#5
agda-stdlib ↗@agdaAgda
Bibliothèque standard d’Agda
★ 675+0Évolution des étoiles sur les 7 derniers jours
#6
l4v ↗@seL4Isabelle
Spécification et preuves de seL4
★ 633+3Évolution des étoiles sur les 7 derniers jours
#7
verdi ↗@uwplseRocq Prover
Un framework pour vérifier formellement des implémentations de systèmes distribués en Coq
★ 625+0Évolution des étoiles sur les 7 derniers jours
#8
VST ↗@PrincetonUniversityRocq Prover
Chaîne d'outils logicielle vérifiée.
★ 508+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets