issues
search
spl
/
alpha-conversion-is-easy
Lean proof of alpha-conversion is easy
4
stars
0
forks
source link
Generalize has_fresh class
#12
Closed
spl
closed
6 years ago
spl
commented
6 years ago
Use the
has_mem
class.
Use the
has_mem
class.