Sujet · formal-mathematics
formal-mathematics
Dépôts open source suivis étiquetés formal-mathematics, triés par étoiles.
Dépôts
2
Total d'étoiles
2 538
Étoiles en moyenne
1 269
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de formal-mathematics sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés formal-mathematics.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Utilisation des LLM comme copilotes pour la démonstration de théorèmes dans Lean
★ 1 318+2Évolution des étoiles sur les 7 derniers jours - #2
Une collection d'énoncés formalisés de conjectures dans Lean.
★ 1 220+19Évolution des étoiles sur les 7 derniers jours
