issues
search
argumentcomputer
/
yatima
A zero-knowledge Lean4 compiler and kernel
MIT License
114
stars
8
forks
source link
Added cids to Typechecker.Expr
#186
Closed
gabriel-barrett
closed
2 years ago
gabriel-barrett
commented
2 years ago
Related to #185
Related to #185