issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
121
stars
9
forks
source link
Transpiling mutual definitions
#182
Closed
arthurpaulino
closed
2 years ago