issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
114
stars
8
forks
source link
Adding primitive operations
#187
Closed
gabriel-barrett
closed
2 years ago
gabriel-barrett
commented
2 years ago
Closes #175
Closes #175