issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
114
stars
8
forks
source link
[Fix] Wrong constructor indices in overrides.
#227
Closed
winston-h-zhang
closed
1 year ago