Sujet · theorem-proving

theorem-proving

Dépôts open source suivis étiquetés theorem-proving, triés par étoiles.

Dépôts

Total d'étoiles

13 478

Étoiles en moyenne

1 925

Part

0,00%

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

Ascensions récentes

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

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

#1
rocq ↗@rocq-proverOCaml
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
FStar ↗@FStarLangF*
Langage de programmation orienté preuve.
★ 3 103+4Évolution des étoiles sur les 7 derniers jours
#3
LeanCopilot ↗@lean-dojoC++
Utilisation des LLM comme copilotes pour la démonstration de théorèmes dans Lean
★ 1 318+1Évolution des étoiles sur les 7 derniers jours
#4
cakeml ↗@CakeMLStandard ML
CakeML : une implémentation vérifiée de ML
★ 1 190+2Évolution des étoiles sur les 7 derniers jours
#5
LeanDojo ↗@lean-dojoPython
Outil d'extraction de données et d'interaction programmatique avec Lean.
★ 832+1Évolution des étoiles sur les 7 derniers jours
#6
HOL ↗@HOL-Theorem-ProverStandard ML
Sources canoniques du système de démonstration de théorèmes HOL4. La branche develop est dédiée au développement principal ; une fois les tests de régression validés, la branche master est mise à jour.
★ 757+2Évolution des étoiles sur les 7 derniers jours
#7
physlib ↗@leanprover-communityLean
Un projet visant à numériser des résultats de physique dans Lean.
★ 721+4Évolution des étoiles sur les 7 derniers jours