issues
search
spl
/
alpha-conversion-is-easy
Lean proof of alpha-conversion is easy
4
stars
0
forks
source link
Alpha-equivalent class of expressions
#19
Closed
spl
closed
6 years ago