issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
114
stars
8
forks
source link
Refactor transpiler
#224
Closed
arthurpaulino
closed
1 year ago
arthurpaulino
commented
1 year ago
Use
IR.Store
as the source for code generation.
Use
IR.Store
as the source for code generation.