Geeks
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
Primary Language
Lean
MIT License
MIT
yatima GitHub
Markdown
Readme
115
Issues
114
Stargazers
9
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
arthurpaulino
Argument Computer Corporation
DanielRrr
Noeon Research
eemailme
gabriel-barrett
jhcloos
johnchandlerburnham
Yatima Inc
sunny-g
@NearSpaceLabs
wanyvic
oklink