argumentcomputer/Neptune.lean
Auf GitHub ansehenLean Neptune bindings
- Sterne
- 1
- Forks
- 0
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 11.2.2022
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
Add lake build Offen
argumentcomputer/Neptune.lean#2 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·