Name Last update
..
.gitignore Loading commit data...
AutosubstExtra.v Loading commit data...
Autosubst_EOS.v Loading commit data...
Autosubst_Env.v Loading commit data...
Autosubst_FreeVars.v Loading commit data...
Autosubst_IsRen.v Loading commit data...
CPSContextSubstitution.v Loading commit data...
CPSCorrectness.v Loading commit data...
CPSCounterExample.v Loading commit data...
CPSDefinition.v Loading commit data...
CPSIndifference.v Loading commit data...
CPSKubstitution.v Loading commit data...
CPSRenaming.v Loading commit data...
CPSSimulation.v Loading commit data...
CPSSimulationWithoutLet.v Loading commit data...
CPSSpecialCases.v Loading commit data...
CPSSubstitution.v Loading commit data...
ClosureConversion.v Loading commit data...
DemoEqReasoning.v Loading commit data...
DemoSyntaxReduction.v Loading commit data...
Even.v Loading commit data...
FixExtra.v Loading commit data...
LambdaCalculusBigStep.v Loading commit data...
LambdaCalculusEncodingCBNIntoCBV.v Loading commit data...
LambdaCalculusFreeVars.v Loading commit data...
LambdaCalculusInterpreter.v Loading commit data...
LambdaCalculusParallelReduction.v Loading commit data...
LambdaCalculusReduction.v Loading commit data...
LambdaCalculusStandardization.v Loading commit data...
LambdaCalculusSyntax.v Loading commit data...
LambdaCalculusValues.v Loading commit data...
Makefile Loading commit data...
Makefile.coq Loading commit data...
McCompiler.v Loading commit data...
MetalBigStep.v Loading commit data...
MetalSyntax.v Loading commit data...
MyList.v Loading commit data...
MyTactics.v Loading commit data...
Option.v Loading commit data...
README.md Loading commit data...
Relations.v Loading commit data...
Sequences.v Loading commit data...