Repository Issues

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

View on GitHub
Stars
 (312 stars)
Forks
 (88 forks)
Indexed issues
 (1 indexed issue)
open beginner issues
 (0 open beginner issues)
Latest indexed
Jul 21, 2026
Last GitHub push
Jul 21, 2026
License
Apache License 2.0
Contributing guide
Contributing guide
Code of conduct
No code of conduct
Dominant language
Lean
PR merge metrics
 (PR metrics pending)
Beginner labels
No beginner labels indexed

Issues

1 open indexed issue

RSSAtom