argumentcomputer/yatima
View on GitHubA zero-knowledge Lean4 compiler and kernel
- Stars
- 146
- Forks
- 12
- Open beginner issues
- 0
- Indexed issues
- 11
- Dominant language
- Lean
- License
- MIT
- Last GitHub push
- Apr 20, 2023
- Latest indexed
- Sep 14, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
- PR merge metrics
- No merged PRs in 30d
-
argumentcomputer/yatima#88 · 5 comments · 0 reactions · 2 assignees ·
-
Document everything Opendocumentation
argumentcomputer/yatima#158 · 0 comments · 0 reactions · 1 assignee ·
-
typechecker
argumentcomputer/yatima#181 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#238 · 0 comments · 2 reactions · 0 assignees ·
-
bug typechecker
argumentcomputer/yatima#243 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue
argumentcomputer/yatima#245 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#249 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement typechecker
argumentcomputer/yatima#268 · 0 comments · 1 reaction · 0 assignees ·
-
enhancement typechecker
argumentcomputer/yatima#272 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement infra
argumentcomputer/yatima#275 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/yatima#280 · 0 comments · 0 reactions · 0 assignees ·