issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
122
stars
9
forks
source link
refactor to include variables with universe lists in `Ipld.Expr` representation
#153
Closed
rish987
closed
2 years ago