proof-assistant
Dépôts open source suivis étiquetés proof-assistant, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de proof-assistant 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-assistant.
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 562+4Évolution des étoiles sur les 7 derniers jours - #2★ 3 103+4Évolution des étoiles sur les 7 derniers jours
- #3
Agda est un langage de programmation à typage dépendant et un assistant de preuve interactif.
★ 2 922+3Évolution des étoiles sur les 7 derniers jours - #4
Une bibliothèque d'agents IA de niveau entreprise conçue pour démocratiser l'intelligence artificielle et offrir des alternatives open source gratuites aux startups surévaluées du Y Combinator.
★ 2 806+7Évolution des étoiles sur les 7 derniers jours - #5
Une introduction à la théorie des langages de programmation en Agda.
★ 1 514+0Évolution des étoiles sur les 7 derniers jours - #6★ 558+2Évolution des étoiles sur les 7 derniers jours
- #7★ 547+0Évolution des étoiles sur les 7 derniers jours
- #8★ 508+1Évolution des étoiles sur les 7 derniers jours
