Issues du dépôt

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Voir sur GitHub
Stars
 (312 stars)
Forks
 (88 forks)
Issues indexées
 (1 issue indexée)
issues débutant ouvertes
 (0 issues débutant ouvertes)
Dernière indexation
21 juil. 2026
Dernier push GitHub
21 juil. 2026
Licence
Apache License 2.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Lean
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
Aucun label débutant indexé

Issues

1 issue indexée ouverte

RSSAtom