Sujet · lean4
lean4
Dépôts open source suivis étiquetés lean4, triés par étoiles.
Dépôts
10
Total d'étoiles
21 235
Étoiles en moyenne
2 124
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de lean4 sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés lean4.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1★ 8 928+49Évolution des étoiles sur les 7 derniers jours
- #2★ 3 986+57Évolution des étoiles sur les 7 derniers jours
- #3
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 805+14Évolution des étoiles sur les 7 derniers jours - #4
Utilisation des LLM comme copilotes pour la démonstration de théorèmes dans Lean
★ 1 318+4Évolution des étoiles sur les 7 derniers jours - #5
Une collection d'énoncés formalisés de conjectures dans Lean.
★ 1 219+11Évolution des étoiles sur les 7 derniers jours - #6★ 832+4Évolution des étoiles sur les 7 derniers jours
- #7★ 570+1Évolution des étoiles sur les 7 derniers jours
- #8★ 546+3Évolution des étoiles sur les 7 derniers jours
- #9
Interface de démonstration de théorèmes Lean offrant une expérience similaire aux preuves papier.
★ 543+2Évolution des étoiles sur les 7 derniers jours - #10★ 526+2Évolution des étoiles sur les 7 derniers jours
