issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
124
stars
9
forks
source link
Removed prop from TypeInfo
#256
Closed
gabriel-barrett
closed
1 year ago