issues
search
spl
/
alpha-conversion-is-easy
Lean proof of alpha-conversion is easy
4
stars
0
forks
source link
Proposition 6.1: identity of subst id
#20
Closed
spl
closed
6 years ago