Issues do repositório

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

Stars
 (312 stars)
Forks
 (88 forks)
Issues indexadas
 (1 indexado issue)
issues iniciantes abertas
 (0 issues iniciantes abertas)
Última indexação
21 de jul. de 2026
Último push no GitHub
21 de jul. de 2026
Guia de contribuição
Guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Lean
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

1 aberto indexado issue

Aberta

Verified-zkEVM/ArkLib #4 aberta 18 de dez. de 2024 · Lean · 312 stars

Por que recomendamosTem label amigável para iniciantes · Guia de contribuição disponível
Tem label amigável para iniciantesGuia de contribuição disponível
3 comentários0 reações2 responsáveis