dependent-types
Dépôts open source suivis étiquetés dependent-types, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de dependent-types sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés dependent-types.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Rocq Prover est un assistant de preuve interactif. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par machine.
★ 5 558+8Évolution des étoiles sur les 7 derniers jours - #2★ 3 764-3Évolution des étoiles sur les 7 derniers jours
- #3★ 3 099-1Évolution des étoiles sur les 7 derniers jours
- #4
Un langage de programmation purement fonctionnel avec des types de première classe
★ 3 049+6Évolution des étoiles sur les 7 derniers jours - #5
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 919+3Évolution des étoiles sur les 7 derniers jours - #6
Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.
★ 835+0Évolution des étoiles sur les 7 derniers jours
