argumentcomputer/ZKSnark.lean
Auf GitHub ansehenhttps://yatima-inc.github.io/ZKSnark.lean/
- Sterne
- 8
- Forks
- 2
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 2
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 01.9.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.
-
argumentcomputer/ZKSnark.lean#7 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/ZKSnark.lean#8 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·