issues
search
spl
/
alpha-conversion-is-easy
Lean proof of alpha-conversion is easy
4
stars
0
forks
source link
Use the case tactic instead of commented begin/end for induction and cases
#28
Open
spl
opened
6 years ago
spl
commented
6 years ago
See:
TPIL
Reference
See: