feat(LambdaCalculus): basics of named representation (alpha equivalence and capture-avoiding substitution)#458

yinhaoxuan wants to merge 9 commits intoleanprover:mainleanprover/cslib:mainfrom

yinhaoxuan:named_lambda_calculusyinhaoxuan/cslib:named_lambda_calculusCopy head branch name to clipboard