argumentcomputer/Lurk.lean
Ver en GitHubA Lean 4 implementation of the Lurk Language for recursive zkSNARKS
- Estrellas
- 9
- Forks
- 2
- Issues abiertos para principiantes
- 0
- Issues indexados
- 2
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 30/3/2023
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
2 issues abiertos indexados
Cargando issues
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
argumentcomputer/Lurk.lean#48 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100