Sujet · proofs
proofs
Dépôts open source suivis étiquetés proofs, triés par étoiles.
Dépôts
3
Total d'étoiles
3 413
Étoiles en moyenne
1 138
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de proofs sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés proofs.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Code exécutable pour résoudre les problèmes de Project Euler en Java, Python, Mathematica et Haskell.
★ 1 959-1Évolution des étoiles sur les 7 derniers jours - #2★ 948+17Évolution des étoiles sur les 7 derniers jours
- #3
KaRaMeL est un outil permettant d'extraire des programmes F* de bas niveau vers du code C lisible.
★ 518+0Évolution des étoiles sur les 7 derniers jours
