argumentcomputer/Neptune.lean
Voir sur GitHubLean Neptune bindings
- Étoiles
- 1
- Forks
- 0
- Issues débutants ouvertes
- 0
- Issues indexées
- 1
- Langage dominant
- Lean
- Licence
- MIT
- Dernier push GitHub
- 11/2/2022
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
- Métriques de merge des PR
- Aucune PR mergée en 30 j
1 issue ouverte indexée
Chargement des issues
-
Add lake build Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100