Sujet · rocq

rocq

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

Dépôts

4

Total d'étoiles

3 426

Étoiles en moyenne

857

Part

0,00%

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

Ascensions récentes

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

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

#1
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+0Évolution des étoiles sur les 7 derniers jours
#2
UniMath ↗@UniMathRocq Prover
Cette bibliothèque rocq vise à formaliser un corpus substantiel de mathématiques en utilisant le point de vue univalent.
★ 1 019+2Évolution des étoiles sur les 7 derniers jours
#3
math-comp ↗@math-compRocq Prover
Composants mathématiques
★ 696+1Évolution des étoiles sur les 7 derniers jours
#4
metarocq ↗@MetaRocqRocq Prover
Métaprogrammation, méta-théorie vérifiée et implémentation de Rocq en Rocq
★ 550+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets