Issue del repository

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Vedi su GitHub
Star
 (312 star)
Fork
 (88 fork)
Issue indicizzate
 (1 issue indicizzata)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
21 lug 2026
Ultimo push GitHub
21 lug 2026
Licenza
Apache License 2.0
Guida contributori
Guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
Nessuna label per principianti indicizzata

Issue

1 issue indicizzata aperta

RSSAtom