coq/AutosubstExtra.v

coq/Autosubst_Env.v

coq/Autosubst_FreeVars.v

coq/Autosubst_IsRen.v

coq/CPSContextSubstitution.v

coq/CPSDefinition.v

coq/CPSRenaming.v

coq/DemoSyntaxReduction.v

coq/LambdaCalculusBigStep.v

coq/LambdaCalculusFreeVars.v

coq/LambdaCalculusParallelReduction.v

coq/LambdaCalculusReduction.v

coq/LambdaCalculusStandardization.v

coq/LambdaCalculusSyntax.v

coq/LambdaCalculusValues.v

coq/MetalBigStep.v

coq/MyTactics.v

coq/Option.v

coq/README.md

coq/STLCDefinition.v