Repository Issues

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Stars
 (312 Stars)
Forks
 (88 Forks)
Indexierte Issues
 (1 indexiertes Issue)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
21. Juli 2026
Letzter GitHub Push
21. Juli 2026
Contributing Guide
Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Lean
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

1 offenes indexiertes Issue

Offen

Verified-zkEVM/ArkLib #4 18. Dez. 2024 geöffnet · Lean · 312 Stars

Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen2 zugewiesene Personen