From 5c73d3bddb196bd27509927a7666a1c78d992375 Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Thu, 23 Mar 2023 17:10:13 +0100 Subject: [PATCH] rename testgame to adam --- server/{testgame => adam}/.gitignore | 0 server/{testgame => adam}/.vscode/settings.json | 0 server/{testgame/TestGame.lean => adam/Adam.lean} | 0 .../TestGame => adam/Adam}/HelperTools.lean | 0 .../{testgame/TestGame => adam/Adam}/LemmaDocs.lean | 0 .../Adam}/Levels/Contradiction.lean | 0 .../Adam}/Levels/Contradiction/L01_Have.lean | 0 .../Adam}/Levels/Contradiction/L02_Suffices.lean | 0 .../Adam}/Levels/Contradiction/L03_ByContra.lean | 0 .../Adam}/Levels/Contradiction/L04_ByContra.lean | 0 .../Adam}/Levels/Contradiction/L05_Contrapose.lean | 0 .../Adam}/Levels/Contradiction/L06_Summary.lean | 0 .../TestGame => adam/Adam}/Levels/Function.lean | 0 .../Adam}/Levels/Function/L01_Function.lean | 0 .../Adam}/Levels/Function/L02_Let.lean | 0 .../Adam}/Levels/Function/L03_Piecewise.lean | 0 .../Adam}/Levels/Function/L04_Injective.lean | 0 .../Adam}/Levels/Function/L05_Injective.lean | 0 .../Adam}/Levels/Function/L06_Injective.lean | 0 .../Adam}/Levels/Function/L07_Surjective.lean | 0 .../Adam}/Levels/Function/L08_Bijective.lean | 0 .../Adam}/Levels/Function/L09_Inverse.lean | 0 .../Adam}/Levels/Function/L11_Inverse.lean | 0 .../TestGame => adam/Adam}/Levels/Implication.lean | 0 .../Adam}/Levels/Implication/L01_Intro.lean | 0 .../Adam}/Levels/Implication/L02_Revert.lean | 0 .../Adam}/Levels/Implication/L03_Apply.lean | 0 .../Adam}/Levels/Implication/L04_Apply.lean | 0 .../Adam}/Levels/Implication/L05_Apply.lean | 0 .../Adam}/Levels/Implication/L06_Iff.lean | 0 .../Adam}/Levels/Implication/L07_Rw.lean | 0 .../Adam}/Levels/Implication/L08_Iff.lean | 0 .../Adam}/Levels/Implication/L09_Iff.lean | 0 .../Adam}/Levels/Implication/L10_Apply.lean | 0 .../Adam}/Levels/Implication/L11_ByCases.lean | 0 .../Adam}/Levels/Implication/L12_Rw.lean | 0 .../Adam}/Levels/Implication/L13_Summary.lean | 0 .../TestGame => adam/Adam}/Levels/Induction.lean | 0 .../Adam}/Levels/Induction/L01_Induction.lean | 0 .../TestGame => adam/Adam}/Levels/Inequality.lean | 0 .../Adam}/Levels/Inequality/L01_LE.lean | 0 .../Adam}/Levels/Inequality/L02_Pos.lean | 0 .../Adam}/Levels/Inequality/L03_Linarith.lean | 0 .../Adam}/Levels/Inequality/L04_Linarith.lean | 0 .../Adam}/Levels/Inequality/T_Induction.lean | 0 .../TestGame => adam/Adam}/Levels/Lean.lean | 0 .../Adam}/Levels/Lean/L01_Type.lean | 0 .../Adam}/Levels/Lean/L02_Universe.lean | 0 .../Adam}/Levels/Lean/L03_ImplicitArguments.lean | 0 .../Adam}/Levels/Lean/L04_InstanceArguments.lean | 0 .../Adam}/Levels/LeftOvers/L09_Or.lean | 0 .../Adam}/Levels/LeftOvers/L33_Prime.lean | 0 .../Adam}/Levels/LeftOvers/L34_ExistsUnique.lean | 0 .../Adam}/Levels/LeftOvers/Lxx_Prime.lean | 0 .../Adam}/Levels/LeftOvers/Lxx_Tauto.lean | 0 .../Adam}/Levels/LeftOvers/Lxx_Tfae.lean | 0 .../Adam}/Levels/LeftOvers/Playground.lean | 0 .../Adam}/Levels/LeftOvers/xx_Functions.lean | 0 .../Adam}/Levels/LinearAlgebra.lean | 0 .../Adam}/Levels/LinearAlgebra/L01_Module.lean | 0 .../Levels/LinearAlgebra/L02_VectorNotation.lean | 0 .../Levels/LinearAlgebra/L03_VectorNotation.lean | 0 .../Adam}/Levels/LinearAlgebra/L04_Submodule.lean | 0 .../Adam}/Levels/LinearAlgebra/L05_Submodule.lean | 0 .../Adam}/Levels/LinearAlgebra/L06_Span.lean | 0 .../Adam}/Levels/LinearAlgebra/L07_Span.lean | 0 .../Levels/LinearAlgebra/L08_GeneratingSet.lean | 0 .../Adam}/Levels/LinearAlgebra/M01_LinearMap.lean | 0 .../Adam}/Levels/LinearAlgebra/M02_LinearIndep.lean | 0 .../Adam}/Levels/LinearAlgebra/M04_Basis.lean | 0 .../Adam}/Levels/LinearAlgebra/N01_Span.lean | 0 .../Adam}/Levels/LinearAlgebra/N02_Span.lean | 0 .../Adam}/Levels/LinearAlgebra/N03_Idempotent.lean | 0 .../Adam}/Levels/LinearAlgebra/N04_Idempotent.lean | 0 .../Adam}/Levels/LinearAlgebra/N05_Sum.lean | 0 .../Adam}/Levels/LinearAlgebra/N06_Sum.lean | 0 .../Adam}/Levels/LinearAlgebra/N07_Prod.lean | 0 .../Adam}/Levels/LinearAlgebra/N08_Prod.lean | 0 .../Adam}/Levels/LinearAlgebra/N09_Prod.lean | 0 .../TestGame => adam/Adam}/Levels/Notes.txt | 0 .../TestGame => adam/Adam}/Levels/Numbers.lean | 0 .../Adam}/Levels/Numbers/L01_PNat.lean | 0 .../Adam}/Levels/Numbers/L02_PNat.lean | 0 .../TestGame => adam/Adam}/Levels/Predicate.lean | 0 .../Adam}/Levels/Predicate/L01_Ring.lean | 0 .../Adam}/Levels/Predicate/L02_Rewrite.lean | 0 .../Adam}/Levels/Predicate/L03_Rewrite.lean | 0 .../Adam}/Levels/Predicate/L04_Ring.lean | 0 .../Adam}/Levels/Predicate/L05_Rfl.lean | 0 .../Adam}/Levels/Predicate/L06_Exists.lean | 0 .../Adam}/Levels/Predicate/L07_Exists.lean | 0 .../Adam}/Levels/Predicate/L08_Forall.lean | 0 .../Adam}/Levels/Predicate/L09_PushNeg.lean | 0 .../TestGame => adam/Adam}/Levels/Prime.lean | 0 .../Adam}/Levels/Prime/L01_Dvd.lean | 0 .../Adam}/Levels/Prime/L02_Prime.lean | 0 .../Adam}/Levels/Prime/L03_Prime.lean | 0 .../Adam}/Levels/Prime/L06_ExistsUnique.lean | 0 .../TestGame => adam/Adam}/Levels/Proposition.lean | 0 .../Adam}/Levels/Proposition/L00_Tauto.lean | 0 .../Adam}/Levels/Proposition/L01_Rfl.lean | 0 .../Adam}/Levels/Proposition/L02_Assumption.lean | 0 .../Adam}/Levels/Proposition/L03_Assumption.lean | 0 .../Adam}/Levels/Proposition/L04_True.lean | 0 .../Adam}/Levels/Proposition/L05_Not.lean | 0 .../Adam}/Levels/Proposition/L06_False.lean | 0 .../Adam}/Levels/Proposition/L07_ContraNotEq.lean | 0 .../Adam}/Levels/Proposition/L08_Contra.lean | 0 .../Adam}/Levels/Proposition/L09_And.lean | 0 .../Adam}/Levels/Proposition/L10_And.lean | 0 .../Adam}/Levels/Proposition/L11_Or.lean | 0 .../Adam}/Levels/Proposition/L12_Or.lean | 0 .../Adam}/Levels/Proposition/L13_Summary.lean | 0 .../TestGame => adam/Adam}/Levels/SetFunction.lean | 0 .../Adam}/Levels/SetFunction/L01_Image.lean | 0 .../Adam}/Levels/SetFunction/L02_Preimage.lean | 0 .../Adam}/Levels/SetFunction/L03_Range.lean | 0 .../Adam}/Levels/SetFunction/L04_ImageUnion.lean | 0 .../TestGame => adam/Adam}/Levels/SetTheory.lean | 0 .../Adam}/Levels/SetTheory/L01_Univ.lean | 0 .../Adam}/Levels/SetTheory/L02_Empty.lean | 0 .../Adam}/Levels/SetTheory/L03_Subset.lean | 0 .../Adam}/Levels/SetTheory/L04_SubsetEmpty.lean | 0 .../Adam}/Levels/SetTheory/L05_Empty.lean | 0 .../Adam}/Levels/SetTheory/L06_Nonempty.lean | 0 .../Adam}/Levels/SetTheory/L07_UnionInter.lean | 0 .../Adam}/Levels/SetTheory/L08_UnionInter.lean | 0 .../Adam}/Levels/SetTheory/L09_Complement.lean | 0 .../Adam}/Levels/SetTheory/L10_Morgan.lean | 0 .../Adam}/Levels/SetTheory/L11_SSubset.lean | 0 .../Adam}/Levels/SetTheory/L12_Insert.lean | 0 .../Adam}/Levels/SetTheory/L13_Insert.lean | 0 .../Adam}/Levels/SetTheory/L14_SetOf.lean | 0 .../Adam}/Levels/SetTheory/L15_Powerset.lean | 0 .../Adam}/Levels/SetTheory/L16_Disjoint.lean | 0 .../Adam}/Levels/SetTheory/L17_SetOf.lean | 0 .../Adam}/Levels/SetTheory/L18_SetOf.lean | 0 .../Adam}/Levels/SetTheory/L19_Subtype.lean | 0 .../Adam}/Levels/SetTheory/L20_UnionInter.lean | 0 .../Adam}/Levels/SetTheory/L21_Summary.lean | 0 .../Adam}/Levels/SetTheory/PowersetPlayground.lean | 0 .../Adam}/Levels/SetTheory/T01_Set.lean | 0 .../Adam}/Levels/SetTheory/T04_xx.lean | 0 .../Adam}/Levels/StatementTest.lean | 0 .../TestGame => adam/Adam}/Levels/Sum.lean | 0 .../TestGame => adam/Adam}/Levels/Sum/L01_Simp.lean | 0 .../TestGame => adam/Adam}/Levels/Sum/L02_Sum.lean | 0 .../Adam}/Levels/Sum/L03_ArithSum.lean | 0 .../Adam}/Levels/Sum/L04_SumOdd.lean | 0 .../Adam}/Levels/Sum/L05_SumComm.lean | 0 .../Adam}/Levels/Sum/L06_Summary.lean | 0 .../Adam}/Levels/Sum/T01_Induction.lean | 0 .../Adam}/Levels/Sum/T02_Induction.lean | 0 .../Adam}/Levels/Sum/T03__Bernoulli.lean | 0 .../{testgame/TestGame => adam/Adam}/Metadata.lean | 0 .../TestGame => adam/Adam}/Options/ArithSum.lean | 0 .../TestGame => adam/Adam}/Playground.lean | 0 .../TestGame => adam/Adam}/StructInstWithHoles.lean | 0 .../Adam}/StructInstWithHolesTest.lean | 0 .../TestGame => adam/Adam}/TacticDocs.lean | 0 .../{testgame/TestGame => adam/Adam}/Tactics.lean | 0 .../TestGame => adam/Adam}/ToBePorted.lean | 0 server/{testgame => adam}/gameserver | Bin server/{testgame => adam}/lake-manifest.json | 0 server/{testgame => adam}/lakefile.lean | 0 server/{testgame => adam}/lean-toolchain | 0 166 files changed, 0 insertions(+), 0 deletions(-) rename server/{testgame => adam}/.gitignore (100%) rename server/{testgame => adam}/.vscode/settings.json (100%) rename server/{testgame/TestGame.lean => adam/Adam.lean} (100%) rename server/{testgame/TestGame => adam/Adam}/HelperTools.lean (100%) rename server/{testgame/TestGame => adam/Adam}/LemmaDocs.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L01_Have.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L02_Suffices.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L03_ByContra.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L04_ByContra.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L05_Contrapose.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Contradiction/L06_Summary.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L01_Function.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L02_Let.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L03_Piecewise.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L04_Injective.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L05_Injective.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L06_Injective.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L07_Surjective.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L08_Bijective.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L09_Inverse.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Function/L11_Inverse.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L01_Intro.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L02_Revert.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L03_Apply.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L04_Apply.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L05_Apply.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L06_Iff.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L07_Rw.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L08_Iff.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L09_Iff.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L10_Apply.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L11_ByCases.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L12_Rw.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Implication/L13_Summary.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Induction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Induction/L01_Induction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality/L01_LE.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality/L02_Pos.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality/L03_Linarith.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality/L04_Linarith.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Inequality/T_Induction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Lean.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Lean/L01_Type.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Lean/L02_Universe.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Lean/L03_ImplicitArguments.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Lean/L04_InstanceArguments.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/L09_Or.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/L33_Prime.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/L34_ExistsUnique.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/Lxx_Prime.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/Lxx_Tauto.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/Lxx_Tfae.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/Playground.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LeftOvers/xx_Functions.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L01_Module.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L02_VectorNotation.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L03_VectorNotation.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L04_Submodule.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L05_Submodule.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L06_Span.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L07_Span.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/L08_GeneratingSet.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/M01_LinearMap.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/M02_LinearIndep.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/M04_Basis.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N01_Span.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N02_Span.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N03_Idempotent.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N04_Idempotent.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N05_Sum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N06_Sum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N07_Prod.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N08_Prod.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/LinearAlgebra/N09_Prod.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Notes.txt (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Numbers.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Numbers/L01_PNat.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Numbers/L02_PNat.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L01_Ring.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L02_Rewrite.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L03_Rewrite.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L04_Ring.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L05_Rfl.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L06_Exists.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L07_Exists.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L08_Forall.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Predicate/L09_PushNeg.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Prime.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Prime/L01_Dvd.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Prime/L02_Prime.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Prime/L03_Prime.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Prime/L06_ExistsUnique.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L00_Tauto.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L01_Rfl.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L02_Assumption.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L03_Assumption.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L04_True.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L05_Not.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L06_False.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L07_ContraNotEq.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L08_Contra.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L09_And.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L10_And.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L11_Or.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L12_Or.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Proposition/L13_Summary.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetFunction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetFunction/L01_Image.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetFunction/L02_Preimage.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetFunction/L03_Range.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetFunction/L04_ImageUnion.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L01_Univ.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L02_Empty.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L03_Subset.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L04_SubsetEmpty.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L05_Empty.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L06_Nonempty.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L07_UnionInter.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L08_UnionInter.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L09_Complement.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L10_Morgan.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L11_SSubset.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L12_Insert.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L13_Insert.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L14_SetOf.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L15_Powerset.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L16_Disjoint.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L17_SetOf.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L18_SetOf.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L19_Subtype.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L20_UnionInter.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/L21_Summary.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/PowersetPlayground.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/T01_Set.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/SetTheory/T04_xx.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/StatementTest.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L01_Simp.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L02_Sum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L03_ArithSum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L04_SumOdd.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L05_SumComm.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/L06_Summary.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/T01_Induction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/T02_Induction.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Levels/Sum/T03__Bernoulli.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Metadata.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Options/ArithSum.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Playground.lean (100%) rename server/{testgame/TestGame => adam/Adam}/StructInstWithHoles.lean (100%) rename server/{testgame/TestGame => adam/Adam}/StructInstWithHolesTest.lean (100%) rename server/{testgame/TestGame => adam/Adam}/TacticDocs.lean (100%) rename server/{testgame/TestGame => adam/Adam}/Tactics.lean (100%) rename server/{testgame/TestGame => adam/Adam}/ToBePorted.lean (100%) rename server/{testgame => adam}/gameserver (100%) rename server/{testgame => adam}/lake-manifest.json (100%) rename server/{testgame => adam}/lakefile.lean (100%) rename server/{testgame => adam}/lean-toolchain (100%) diff --git a/server/testgame/.gitignore b/server/adam/.gitignore similarity index 100% rename from server/testgame/.gitignore rename to server/adam/.gitignore diff --git a/server/testgame/.vscode/settings.json b/server/adam/.vscode/settings.json similarity index 100% rename from server/testgame/.vscode/settings.json rename to server/adam/.vscode/settings.json diff --git a/server/testgame/TestGame.lean b/server/adam/Adam.lean similarity index 100% rename from server/testgame/TestGame.lean rename to server/adam/Adam.lean diff --git a/server/testgame/TestGame/HelperTools.lean b/server/adam/Adam/HelperTools.lean similarity index 100% rename from server/testgame/TestGame/HelperTools.lean rename to server/adam/Adam/HelperTools.lean diff --git a/server/testgame/TestGame/LemmaDocs.lean b/server/adam/Adam/LemmaDocs.lean similarity index 100% rename from server/testgame/TestGame/LemmaDocs.lean rename to server/adam/Adam/LemmaDocs.lean diff --git a/server/testgame/TestGame/Levels/Contradiction.lean b/server/adam/Adam/Levels/Contradiction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction.lean rename to server/adam/Adam/Levels/Contradiction.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L01_Have.lean b/server/adam/Adam/Levels/Contradiction/L01_Have.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L01_Have.lean rename to server/adam/Adam/Levels/Contradiction/L01_Have.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L02_Suffices.lean b/server/adam/Adam/Levels/Contradiction/L02_Suffices.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L02_Suffices.lean rename to server/adam/Adam/Levels/Contradiction/L02_Suffices.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L03_ByContra.lean b/server/adam/Adam/Levels/Contradiction/L03_ByContra.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L03_ByContra.lean rename to server/adam/Adam/Levels/Contradiction/L03_ByContra.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L04_ByContra.lean b/server/adam/Adam/Levels/Contradiction/L04_ByContra.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L04_ByContra.lean rename to server/adam/Adam/Levels/Contradiction/L04_ByContra.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L05_Contrapose.lean b/server/adam/Adam/Levels/Contradiction/L05_Contrapose.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L05_Contrapose.lean rename to server/adam/Adam/Levels/Contradiction/L05_Contrapose.lean diff --git a/server/testgame/TestGame/Levels/Contradiction/L06_Summary.lean b/server/adam/Adam/Levels/Contradiction/L06_Summary.lean similarity index 100% rename from server/testgame/TestGame/Levels/Contradiction/L06_Summary.lean rename to server/adam/Adam/Levels/Contradiction/L06_Summary.lean diff --git a/server/testgame/TestGame/Levels/Function.lean b/server/adam/Adam/Levels/Function.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function.lean rename to server/adam/Adam/Levels/Function.lean diff --git a/server/testgame/TestGame/Levels/Function/L01_Function.lean b/server/adam/Adam/Levels/Function/L01_Function.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L01_Function.lean rename to server/adam/Adam/Levels/Function/L01_Function.lean diff --git a/server/testgame/TestGame/Levels/Function/L02_Let.lean b/server/adam/Adam/Levels/Function/L02_Let.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L02_Let.lean rename to server/adam/Adam/Levels/Function/L02_Let.lean diff --git a/server/testgame/TestGame/Levels/Function/L03_Piecewise.lean b/server/adam/Adam/Levels/Function/L03_Piecewise.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L03_Piecewise.lean rename to server/adam/Adam/Levels/Function/L03_Piecewise.lean diff --git a/server/testgame/TestGame/Levels/Function/L04_Injective.lean b/server/adam/Adam/Levels/Function/L04_Injective.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L04_Injective.lean rename to server/adam/Adam/Levels/Function/L04_Injective.lean diff --git a/server/testgame/TestGame/Levels/Function/L05_Injective.lean b/server/adam/Adam/Levels/Function/L05_Injective.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L05_Injective.lean rename to server/adam/Adam/Levels/Function/L05_Injective.lean diff --git a/server/testgame/TestGame/Levels/Function/L06_Injective.lean b/server/adam/Adam/Levels/Function/L06_Injective.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L06_Injective.lean rename to server/adam/Adam/Levels/Function/L06_Injective.lean diff --git a/server/testgame/TestGame/Levels/Function/L07_Surjective.lean b/server/adam/Adam/Levels/Function/L07_Surjective.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L07_Surjective.lean rename to server/adam/Adam/Levels/Function/L07_Surjective.lean diff --git a/server/testgame/TestGame/Levels/Function/L08_Bijective.lean b/server/adam/Adam/Levels/Function/L08_Bijective.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L08_Bijective.lean rename to server/adam/Adam/Levels/Function/L08_Bijective.lean diff --git a/server/testgame/TestGame/Levels/Function/L09_Inverse.lean b/server/adam/Adam/Levels/Function/L09_Inverse.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L09_Inverse.lean rename to server/adam/Adam/Levels/Function/L09_Inverse.lean diff --git a/server/testgame/TestGame/Levels/Function/L11_Inverse.lean b/server/adam/Adam/Levels/Function/L11_Inverse.lean similarity index 100% rename from server/testgame/TestGame/Levels/Function/L11_Inverse.lean rename to server/adam/Adam/Levels/Function/L11_Inverse.lean diff --git a/server/testgame/TestGame/Levels/Implication.lean b/server/adam/Adam/Levels/Implication.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication.lean rename to server/adam/Adam/Levels/Implication.lean diff --git a/server/testgame/TestGame/Levels/Implication/L01_Intro.lean b/server/adam/Adam/Levels/Implication/L01_Intro.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L01_Intro.lean rename to server/adam/Adam/Levels/Implication/L01_Intro.lean diff --git a/server/testgame/TestGame/Levels/Implication/L02_Revert.lean b/server/adam/Adam/Levels/Implication/L02_Revert.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L02_Revert.lean rename to server/adam/Adam/Levels/Implication/L02_Revert.lean diff --git a/server/testgame/TestGame/Levels/Implication/L03_Apply.lean b/server/adam/Adam/Levels/Implication/L03_Apply.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L03_Apply.lean rename to server/adam/Adam/Levels/Implication/L03_Apply.lean diff --git a/server/testgame/TestGame/Levels/Implication/L04_Apply.lean b/server/adam/Adam/Levels/Implication/L04_Apply.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L04_Apply.lean rename to server/adam/Adam/Levels/Implication/L04_Apply.lean diff --git a/server/testgame/TestGame/Levels/Implication/L05_Apply.lean b/server/adam/Adam/Levels/Implication/L05_Apply.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L05_Apply.lean rename to server/adam/Adam/Levels/Implication/L05_Apply.lean diff --git a/server/testgame/TestGame/Levels/Implication/L06_Iff.lean b/server/adam/Adam/Levels/Implication/L06_Iff.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L06_Iff.lean rename to server/adam/Adam/Levels/Implication/L06_Iff.lean diff --git a/server/testgame/TestGame/Levels/Implication/L07_Rw.lean b/server/adam/Adam/Levels/Implication/L07_Rw.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L07_Rw.lean rename to server/adam/Adam/Levels/Implication/L07_Rw.lean diff --git a/server/testgame/TestGame/Levels/Implication/L08_Iff.lean b/server/adam/Adam/Levels/Implication/L08_Iff.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L08_Iff.lean rename to server/adam/Adam/Levels/Implication/L08_Iff.lean diff --git a/server/testgame/TestGame/Levels/Implication/L09_Iff.lean b/server/adam/Adam/Levels/Implication/L09_Iff.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L09_Iff.lean rename to server/adam/Adam/Levels/Implication/L09_Iff.lean diff --git a/server/testgame/TestGame/Levels/Implication/L10_Apply.lean b/server/adam/Adam/Levels/Implication/L10_Apply.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L10_Apply.lean rename to server/adam/Adam/Levels/Implication/L10_Apply.lean diff --git a/server/testgame/TestGame/Levels/Implication/L11_ByCases.lean b/server/adam/Adam/Levels/Implication/L11_ByCases.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L11_ByCases.lean rename to server/adam/Adam/Levels/Implication/L11_ByCases.lean diff --git a/server/testgame/TestGame/Levels/Implication/L12_Rw.lean b/server/adam/Adam/Levels/Implication/L12_Rw.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L12_Rw.lean rename to server/adam/Adam/Levels/Implication/L12_Rw.lean diff --git a/server/testgame/TestGame/Levels/Implication/L13_Summary.lean b/server/adam/Adam/Levels/Implication/L13_Summary.lean similarity index 100% rename from server/testgame/TestGame/Levels/Implication/L13_Summary.lean rename to server/adam/Adam/Levels/Implication/L13_Summary.lean diff --git a/server/testgame/TestGame/Levels/Induction.lean b/server/adam/Adam/Levels/Induction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Induction.lean rename to server/adam/Adam/Levels/Induction.lean diff --git a/server/testgame/TestGame/Levels/Induction/L01_Induction.lean b/server/adam/Adam/Levels/Induction/L01_Induction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Induction/L01_Induction.lean rename to server/adam/Adam/Levels/Induction/L01_Induction.lean diff --git a/server/testgame/TestGame/Levels/Inequality.lean b/server/adam/Adam/Levels/Inequality.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality.lean rename to server/adam/Adam/Levels/Inequality.lean diff --git a/server/testgame/TestGame/Levels/Inequality/L01_LE.lean b/server/adam/Adam/Levels/Inequality/L01_LE.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality/L01_LE.lean rename to server/adam/Adam/Levels/Inequality/L01_LE.lean diff --git a/server/testgame/TestGame/Levels/Inequality/L02_Pos.lean b/server/adam/Adam/Levels/Inequality/L02_Pos.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality/L02_Pos.lean rename to server/adam/Adam/Levels/Inequality/L02_Pos.lean diff --git a/server/testgame/TestGame/Levels/Inequality/L03_Linarith.lean b/server/adam/Adam/Levels/Inequality/L03_Linarith.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality/L03_Linarith.lean rename to server/adam/Adam/Levels/Inequality/L03_Linarith.lean diff --git a/server/testgame/TestGame/Levels/Inequality/L04_Linarith.lean b/server/adam/Adam/Levels/Inequality/L04_Linarith.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality/L04_Linarith.lean rename to server/adam/Adam/Levels/Inequality/L04_Linarith.lean diff --git a/server/testgame/TestGame/Levels/Inequality/T_Induction.lean b/server/adam/Adam/Levels/Inequality/T_Induction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Inequality/T_Induction.lean rename to server/adam/Adam/Levels/Inequality/T_Induction.lean diff --git a/server/testgame/TestGame/Levels/Lean.lean b/server/adam/Adam/Levels/Lean.lean similarity index 100% rename from server/testgame/TestGame/Levels/Lean.lean rename to server/adam/Adam/Levels/Lean.lean diff --git a/server/testgame/TestGame/Levels/Lean/L01_Type.lean b/server/adam/Adam/Levels/Lean/L01_Type.lean similarity index 100% rename from server/testgame/TestGame/Levels/Lean/L01_Type.lean rename to server/adam/Adam/Levels/Lean/L01_Type.lean diff --git a/server/testgame/TestGame/Levels/Lean/L02_Universe.lean b/server/adam/Adam/Levels/Lean/L02_Universe.lean similarity index 100% rename from server/testgame/TestGame/Levels/Lean/L02_Universe.lean rename to server/adam/Adam/Levels/Lean/L02_Universe.lean diff --git a/server/testgame/TestGame/Levels/Lean/L03_ImplicitArguments.lean b/server/adam/Adam/Levels/Lean/L03_ImplicitArguments.lean similarity index 100% rename from server/testgame/TestGame/Levels/Lean/L03_ImplicitArguments.lean rename to server/adam/Adam/Levels/Lean/L03_ImplicitArguments.lean diff --git a/server/testgame/TestGame/Levels/Lean/L04_InstanceArguments.lean b/server/adam/Adam/Levels/Lean/L04_InstanceArguments.lean similarity index 100% rename from server/testgame/TestGame/Levels/Lean/L04_InstanceArguments.lean rename to server/adam/Adam/Levels/Lean/L04_InstanceArguments.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/L09_Or.lean b/server/adam/Adam/Levels/LeftOvers/L09_Or.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/L09_Or.lean rename to server/adam/Adam/Levels/LeftOvers/L09_Or.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/L33_Prime.lean b/server/adam/Adam/Levels/LeftOvers/L33_Prime.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/L33_Prime.lean rename to server/adam/Adam/Levels/LeftOvers/L33_Prime.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/L34_ExistsUnique.lean b/server/adam/Adam/Levels/LeftOvers/L34_ExistsUnique.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/L34_ExistsUnique.lean rename to server/adam/Adam/Levels/LeftOvers/L34_ExistsUnique.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/Lxx_Prime.lean b/server/adam/Adam/Levels/LeftOvers/Lxx_Prime.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/Lxx_Prime.lean rename to server/adam/Adam/Levels/LeftOvers/Lxx_Prime.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/Lxx_Tauto.lean b/server/adam/Adam/Levels/LeftOvers/Lxx_Tauto.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/Lxx_Tauto.lean rename to server/adam/Adam/Levels/LeftOvers/Lxx_Tauto.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/Lxx_Tfae.lean b/server/adam/Adam/Levels/LeftOvers/Lxx_Tfae.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/Lxx_Tfae.lean rename to server/adam/Adam/Levels/LeftOvers/Lxx_Tfae.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/Playground.lean b/server/adam/Adam/Levels/LeftOvers/Playground.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/Playground.lean rename to server/adam/Adam/Levels/LeftOvers/Playground.lean diff --git a/server/testgame/TestGame/Levels/LeftOvers/xx_Functions.lean b/server/adam/Adam/Levels/LeftOvers/xx_Functions.lean similarity index 100% rename from server/testgame/TestGame/Levels/LeftOvers/xx_Functions.lean rename to server/adam/Adam/Levels/LeftOvers/xx_Functions.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra.lean b/server/adam/Adam/Levels/LinearAlgebra.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra.lean rename to server/adam/Adam/Levels/LinearAlgebra.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L01_Module.lean b/server/adam/Adam/Levels/LinearAlgebra/L01_Module.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L01_Module.lean rename to server/adam/Adam/Levels/LinearAlgebra/L01_Module.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L02_VectorNotation.lean b/server/adam/Adam/Levels/LinearAlgebra/L02_VectorNotation.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L02_VectorNotation.lean rename to server/adam/Adam/Levels/LinearAlgebra/L02_VectorNotation.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L03_VectorNotation.lean b/server/adam/Adam/Levels/LinearAlgebra/L03_VectorNotation.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L03_VectorNotation.lean rename to server/adam/Adam/Levels/LinearAlgebra/L03_VectorNotation.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L04_Submodule.lean b/server/adam/Adam/Levels/LinearAlgebra/L04_Submodule.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L04_Submodule.lean rename to server/adam/Adam/Levels/LinearAlgebra/L04_Submodule.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L05_Submodule.lean b/server/adam/Adam/Levels/LinearAlgebra/L05_Submodule.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L05_Submodule.lean rename to server/adam/Adam/Levels/LinearAlgebra/L05_Submodule.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L06_Span.lean b/server/adam/Adam/Levels/LinearAlgebra/L06_Span.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L06_Span.lean rename to server/adam/Adam/Levels/LinearAlgebra/L06_Span.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L07_Span.lean b/server/adam/Adam/Levels/LinearAlgebra/L07_Span.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L07_Span.lean rename to server/adam/Adam/Levels/LinearAlgebra/L07_Span.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/L08_GeneratingSet.lean b/server/adam/Adam/Levels/LinearAlgebra/L08_GeneratingSet.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/L08_GeneratingSet.lean rename to server/adam/Adam/Levels/LinearAlgebra/L08_GeneratingSet.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/M01_LinearMap.lean b/server/adam/Adam/Levels/LinearAlgebra/M01_LinearMap.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/M01_LinearMap.lean rename to server/adam/Adam/Levels/LinearAlgebra/M01_LinearMap.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/M02_LinearIndep.lean b/server/adam/Adam/Levels/LinearAlgebra/M02_LinearIndep.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/M02_LinearIndep.lean rename to server/adam/Adam/Levels/LinearAlgebra/M02_LinearIndep.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/M04_Basis.lean b/server/adam/Adam/Levels/LinearAlgebra/M04_Basis.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/M04_Basis.lean rename to server/adam/Adam/Levels/LinearAlgebra/M04_Basis.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N01_Span.lean b/server/adam/Adam/Levels/LinearAlgebra/N01_Span.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N01_Span.lean rename to server/adam/Adam/Levels/LinearAlgebra/N01_Span.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N02_Span.lean b/server/adam/Adam/Levels/LinearAlgebra/N02_Span.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N02_Span.lean rename to server/adam/Adam/Levels/LinearAlgebra/N02_Span.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N03_Idempotent.lean b/server/adam/Adam/Levels/LinearAlgebra/N03_Idempotent.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N03_Idempotent.lean rename to server/adam/Adam/Levels/LinearAlgebra/N03_Idempotent.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N04_Idempotent.lean b/server/adam/Adam/Levels/LinearAlgebra/N04_Idempotent.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N04_Idempotent.lean rename to server/adam/Adam/Levels/LinearAlgebra/N04_Idempotent.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N05_Sum.lean b/server/adam/Adam/Levels/LinearAlgebra/N05_Sum.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N05_Sum.lean rename to server/adam/Adam/Levels/LinearAlgebra/N05_Sum.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N06_Sum.lean b/server/adam/Adam/Levels/LinearAlgebra/N06_Sum.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N06_Sum.lean rename to server/adam/Adam/Levels/LinearAlgebra/N06_Sum.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N07_Prod.lean b/server/adam/Adam/Levels/LinearAlgebra/N07_Prod.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N07_Prod.lean rename to server/adam/Adam/Levels/LinearAlgebra/N07_Prod.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N08_Prod.lean b/server/adam/Adam/Levels/LinearAlgebra/N08_Prod.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N08_Prod.lean rename to server/adam/Adam/Levels/LinearAlgebra/N08_Prod.lean diff --git a/server/testgame/TestGame/Levels/LinearAlgebra/N09_Prod.lean b/server/adam/Adam/Levels/LinearAlgebra/N09_Prod.lean similarity index 100% rename from server/testgame/TestGame/Levels/LinearAlgebra/N09_Prod.lean rename to server/adam/Adam/Levels/LinearAlgebra/N09_Prod.lean diff --git a/server/testgame/TestGame/Levels/Notes.txt b/server/adam/Adam/Levels/Notes.txt similarity index 100% rename from server/testgame/TestGame/Levels/Notes.txt rename to server/adam/Adam/Levels/Notes.txt diff --git a/server/testgame/TestGame/Levels/Numbers.lean b/server/adam/Adam/Levels/Numbers.lean similarity index 100% rename from server/testgame/TestGame/Levels/Numbers.lean rename to server/adam/Adam/Levels/Numbers.lean diff --git a/server/testgame/TestGame/Levels/Numbers/L01_PNat.lean b/server/adam/Adam/Levels/Numbers/L01_PNat.lean similarity index 100% rename from server/testgame/TestGame/Levels/Numbers/L01_PNat.lean rename to server/adam/Adam/Levels/Numbers/L01_PNat.lean diff --git a/server/testgame/TestGame/Levels/Numbers/L02_PNat.lean b/server/adam/Adam/Levels/Numbers/L02_PNat.lean similarity index 100% rename from server/testgame/TestGame/Levels/Numbers/L02_PNat.lean rename to server/adam/Adam/Levels/Numbers/L02_PNat.lean diff --git a/server/testgame/TestGame/Levels/Predicate.lean b/server/adam/Adam/Levels/Predicate.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate.lean rename to server/adam/Adam/Levels/Predicate.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L01_Ring.lean b/server/adam/Adam/Levels/Predicate/L01_Ring.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L01_Ring.lean rename to server/adam/Adam/Levels/Predicate/L01_Ring.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L02_Rewrite.lean b/server/adam/Adam/Levels/Predicate/L02_Rewrite.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L02_Rewrite.lean rename to server/adam/Adam/Levels/Predicate/L02_Rewrite.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L03_Rewrite.lean b/server/adam/Adam/Levels/Predicate/L03_Rewrite.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L03_Rewrite.lean rename to server/adam/Adam/Levels/Predicate/L03_Rewrite.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L04_Ring.lean b/server/adam/Adam/Levels/Predicate/L04_Ring.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L04_Ring.lean rename to server/adam/Adam/Levels/Predicate/L04_Ring.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L05_Rfl.lean b/server/adam/Adam/Levels/Predicate/L05_Rfl.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L05_Rfl.lean rename to server/adam/Adam/Levels/Predicate/L05_Rfl.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L06_Exists.lean b/server/adam/Adam/Levels/Predicate/L06_Exists.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L06_Exists.lean rename to server/adam/Adam/Levels/Predicate/L06_Exists.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L07_Exists.lean b/server/adam/Adam/Levels/Predicate/L07_Exists.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L07_Exists.lean rename to server/adam/Adam/Levels/Predicate/L07_Exists.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L08_Forall.lean b/server/adam/Adam/Levels/Predicate/L08_Forall.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L08_Forall.lean rename to server/adam/Adam/Levels/Predicate/L08_Forall.lean diff --git a/server/testgame/TestGame/Levels/Predicate/L09_PushNeg.lean b/server/adam/Adam/Levels/Predicate/L09_PushNeg.lean similarity index 100% rename from server/testgame/TestGame/Levels/Predicate/L09_PushNeg.lean rename to server/adam/Adam/Levels/Predicate/L09_PushNeg.lean diff --git a/server/testgame/TestGame/Levels/Prime.lean b/server/adam/Adam/Levels/Prime.lean similarity index 100% rename from server/testgame/TestGame/Levels/Prime.lean rename to server/adam/Adam/Levels/Prime.lean diff --git a/server/testgame/TestGame/Levels/Prime/L01_Dvd.lean b/server/adam/Adam/Levels/Prime/L01_Dvd.lean similarity index 100% rename from server/testgame/TestGame/Levels/Prime/L01_Dvd.lean rename to server/adam/Adam/Levels/Prime/L01_Dvd.lean diff --git a/server/testgame/TestGame/Levels/Prime/L02_Prime.lean b/server/adam/Adam/Levels/Prime/L02_Prime.lean similarity index 100% rename from server/testgame/TestGame/Levels/Prime/L02_Prime.lean rename to server/adam/Adam/Levels/Prime/L02_Prime.lean diff --git a/server/testgame/TestGame/Levels/Prime/L03_Prime.lean b/server/adam/Adam/Levels/Prime/L03_Prime.lean similarity index 100% rename from server/testgame/TestGame/Levels/Prime/L03_Prime.lean rename to server/adam/Adam/Levels/Prime/L03_Prime.lean diff --git a/server/testgame/TestGame/Levels/Prime/L06_ExistsUnique.lean b/server/adam/Adam/Levels/Prime/L06_ExistsUnique.lean similarity index 100% rename from server/testgame/TestGame/Levels/Prime/L06_ExistsUnique.lean rename to server/adam/Adam/Levels/Prime/L06_ExistsUnique.lean diff --git a/server/testgame/TestGame/Levels/Proposition.lean b/server/adam/Adam/Levels/Proposition.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition.lean rename to server/adam/Adam/Levels/Proposition.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L00_Tauto.lean b/server/adam/Adam/Levels/Proposition/L00_Tauto.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L00_Tauto.lean rename to server/adam/Adam/Levels/Proposition/L00_Tauto.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L01_Rfl.lean b/server/adam/Adam/Levels/Proposition/L01_Rfl.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L01_Rfl.lean rename to server/adam/Adam/Levels/Proposition/L01_Rfl.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L02_Assumption.lean b/server/adam/Adam/Levels/Proposition/L02_Assumption.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L02_Assumption.lean rename to server/adam/Adam/Levels/Proposition/L02_Assumption.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L03_Assumption.lean b/server/adam/Adam/Levels/Proposition/L03_Assumption.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L03_Assumption.lean rename to server/adam/Adam/Levels/Proposition/L03_Assumption.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L04_True.lean b/server/adam/Adam/Levels/Proposition/L04_True.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L04_True.lean rename to server/adam/Adam/Levels/Proposition/L04_True.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L05_Not.lean b/server/adam/Adam/Levels/Proposition/L05_Not.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L05_Not.lean rename to server/adam/Adam/Levels/Proposition/L05_Not.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L06_False.lean b/server/adam/Adam/Levels/Proposition/L06_False.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L06_False.lean rename to server/adam/Adam/Levels/Proposition/L06_False.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L07_ContraNotEq.lean b/server/adam/Adam/Levels/Proposition/L07_ContraNotEq.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L07_ContraNotEq.lean rename to server/adam/Adam/Levels/Proposition/L07_ContraNotEq.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L08_Contra.lean b/server/adam/Adam/Levels/Proposition/L08_Contra.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L08_Contra.lean rename to server/adam/Adam/Levels/Proposition/L08_Contra.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L09_And.lean b/server/adam/Adam/Levels/Proposition/L09_And.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L09_And.lean rename to server/adam/Adam/Levels/Proposition/L09_And.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L10_And.lean b/server/adam/Adam/Levels/Proposition/L10_And.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L10_And.lean rename to server/adam/Adam/Levels/Proposition/L10_And.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L11_Or.lean b/server/adam/Adam/Levels/Proposition/L11_Or.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L11_Or.lean rename to server/adam/Adam/Levels/Proposition/L11_Or.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L12_Or.lean b/server/adam/Adam/Levels/Proposition/L12_Or.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L12_Or.lean rename to server/adam/Adam/Levels/Proposition/L12_Or.lean diff --git a/server/testgame/TestGame/Levels/Proposition/L13_Summary.lean b/server/adam/Adam/Levels/Proposition/L13_Summary.lean similarity index 100% rename from server/testgame/TestGame/Levels/Proposition/L13_Summary.lean rename to server/adam/Adam/Levels/Proposition/L13_Summary.lean diff --git a/server/testgame/TestGame/Levels/SetFunction.lean b/server/adam/Adam/Levels/SetFunction.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetFunction.lean rename to server/adam/Adam/Levels/SetFunction.lean diff --git a/server/testgame/TestGame/Levels/SetFunction/L01_Image.lean b/server/adam/Adam/Levels/SetFunction/L01_Image.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetFunction/L01_Image.lean rename to server/adam/Adam/Levels/SetFunction/L01_Image.lean diff --git a/server/testgame/TestGame/Levels/SetFunction/L02_Preimage.lean b/server/adam/Adam/Levels/SetFunction/L02_Preimage.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetFunction/L02_Preimage.lean rename to server/adam/Adam/Levels/SetFunction/L02_Preimage.lean diff --git a/server/testgame/TestGame/Levels/SetFunction/L03_Range.lean b/server/adam/Adam/Levels/SetFunction/L03_Range.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetFunction/L03_Range.lean rename to server/adam/Adam/Levels/SetFunction/L03_Range.lean diff --git a/server/testgame/TestGame/Levels/SetFunction/L04_ImageUnion.lean b/server/adam/Adam/Levels/SetFunction/L04_ImageUnion.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetFunction/L04_ImageUnion.lean rename to server/adam/Adam/Levels/SetFunction/L04_ImageUnion.lean diff --git a/server/testgame/TestGame/Levels/SetTheory.lean b/server/adam/Adam/Levels/SetTheory.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory.lean rename to server/adam/Adam/Levels/SetTheory.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L01_Univ.lean b/server/adam/Adam/Levels/SetTheory/L01_Univ.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L01_Univ.lean rename to server/adam/Adam/Levels/SetTheory/L01_Univ.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L02_Empty.lean b/server/adam/Adam/Levels/SetTheory/L02_Empty.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L02_Empty.lean rename to server/adam/Adam/Levels/SetTheory/L02_Empty.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L03_Subset.lean b/server/adam/Adam/Levels/SetTheory/L03_Subset.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L03_Subset.lean rename to server/adam/Adam/Levels/SetTheory/L03_Subset.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L04_SubsetEmpty.lean b/server/adam/Adam/Levels/SetTheory/L04_SubsetEmpty.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L04_SubsetEmpty.lean rename to server/adam/Adam/Levels/SetTheory/L04_SubsetEmpty.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L05_Empty.lean b/server/adam/Adam/Levels/SetTheory/L05_Empty.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L05_Empty.lean rename to server/adam/Adam/Levels/SetTheory/L05_Empty.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L06_Nonempty.lean b/server/adam/Adam/Levels/SetTheory/L06_Nonempty.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L06_Nonempty.lean rename to server/adam/Adam/Levels/SetTheory/L06_Nonempty.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L07_UnionInter.lean b/server/adam/Adam/Levels/SetTheory/L07_UnionInter.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L07_UnionInter.lean rename to server/adam/Adam/Levels/SetTheory/L07_UnionInter.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L08_UnionInter.lean b/server/adam/Adam/Levels/SetTheory/L08_UnionInter.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L08_UnionInter.lean rename to server/adam/Adam/Levels/SetTheory/L08_UnionInter.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L09_Complement.lean b/server/adam/Adam/Levels/SetTheory/L09_Complement.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L09_Complement.lean rename to server/adam/Adam/Levels/SetTheory/L09_Complement.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L10_Morgan.lean b/server/adam/Adam/Levels/SetTheory/L10_Morgan.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L10_Morgan.lean rename to server/adam/Adam/Levels/SetTheory/L10_Morgan.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L11_SSubset.lean b/server/adam/Adam/Levels/SetTheory/L11_SSubset.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L11_SSubset.lean rename to server/adam/Adam/Levels/SetTheory/L11_SSubset.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L12_Insert.lean b/server/adam/Adam/Levels/SetTheory/L12_Insert.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L12_Insert.lean rename to server/adam/Adam/Levels/SetTheory/L12_Insert.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L13_Insert.lean b/server/adam/Adam/Levels/SetTheory/L13_Insert.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L13_Insert.lean rename to server/adam/Adam/Levels/SetTheory/L13_Insert.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L14_SetOf.lean b/server/adam/Adam/Levels/SetTheory/L14_SetOf.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L14_SetOf.lean rename to server/adam/Adam/Levels/SetTheory/L14_SetOf.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L15_Powerset.lean b/server/adam/Adam/Levels/SetTheory/L15_Powerset.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L15_Powerset.lean rename to server/adam/Adam/Levels/SetTheory/L15_Powerset.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L16_Disjoint.lean b/server/adam/Adam/Levels/SetTheory/L16_Disjoint.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L16_Disjoint.lean rename to server/adam/Adam/Levels/SetTheory/L16_Disjoint.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L17_SetOf.lean b/server/adam/Adam/Levels/SetTheory/L17_SetOf.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L17_SetOf.lean rename to server/adam/Adam/Levels/SetTheory/L17_SetOf.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L18_SetOf.lean b/server/adam/Adam/Levels/SetTheory/L18_SetOf.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L18_SetOf.lean rename to server/adam/Adam/Levels/SetTheory/L18_SetOf.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L19_Subtype.lean b/server/adam/Adam/Levels/SetTheory/L19_Subtype.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L19_Subtype.lean rename to server/adam/Adam/Levels/SetTheory/L19_Subtype.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L20_UnionInter.lean b/server/adam/Adam/Levels/SetTheory/L20_UnionInter.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L20_UnionInter.lean rename to server/adam/Adam/Levels/SetTheory/L20_UnionInter.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/L21_Summary.lean b/server/adam/Adam/Levels/SetTheory/L21_Summary.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/L21_Summary.lean rename to server/adam/Adam/Levels/SetTheory/L21_Summary.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/PowersetPlayground.lean b/server/adam/Adam/Levels/SetTheory/PowersetPlayground.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/PowersetPlayground.lean rename to server/adam/Adam/Levels/SetTheory/PowersetPlayground.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/T01_Set.lean b/server/adam/Adam/Levels/SetTheory/T01_Set.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/T01_Set.lean rename to server/adam/Adam/Levels/SetTheory/T01_Set.lean diff --git a/server/testgame/TestGame/Levels/SetTheory/T04_xx.lean b/server/adam/Adam/Levels/SetTheory/T04_xx.lean similarity index 100% rename from server/testgame/TestGame/Levels/SetTheory/T04_xx.lean rename to server/adam/Adam/Levels/SetTheory/T04_xx.lean diff --git a/server/testgame/TestGame/Levels/StatementTest.lean b/server/adam/Adam/Levels/StatementTest.lean similarity index 100% rename from server/testgame/TestGame/Levels/StatementTest.lean rename to server/adam/Adam/Levels/StatementTest.lean diff --git a/server/testgame/TestGame/Levels/Sum.lean b/server/adam/Adam/Levels/Sum.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum.lean rename to server/adam/Adam/Levels/Sum.lean diff --git a/server/testgame/TestGame/Levels/Sum/L01_Simp.lean b/server/adam/Adam/Levels/Sum/L01_Simp.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L01_Simp.lean rename to server/adam/Adam/Levels/Sum/L01_Simp.lean diff --git a/server/testgame/TestGame/Levels/Sum/L02_Sum.lean b/server/adam/Adam/Levels/Sum/L02_Sum.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L02_Sum.lean rename to server/adam/Adam/Levels/Sum/L02_Sum.lean diff --git a/server/testgame/TestGame/Levels/Sum/L03_ArithSum.lean b/server/adam/Adam/Levels/Sum/L03_ArithSum.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L03_ArithSum.lean rename to server/adam/Adam/Levels/Sum/L03_ArithSum.lean diff --git a/server/testgame/TestGame/Levels/Sum/L04_SumOdd.lean b/server/adam/Adam/Levels/Sum/L04_SumOdd.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L04_SumOdd.lean rename to server/adam/Adam/Levels/Sum/L04_SumOdd.lean diff --git a/server/testgame/TestGame/Levels/Sum/L05_SumComm.lean b/server/adam/Adam/Levels/Sum/L05_SumComm.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L05_SumComm.lean rename to server/adam/Adam/Levels/Sum/L05_SumComm.lean diff --git a/server/testgame/TestGame/Levels/Sum/L06_Summary.lean b/server/adam/Adam/Levels/Sum/L06_Summary.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/L06_Summary.lean rename to server/adam/Adam/Levels/Sum/L06_Summary.lean diff --git a/server/testgame/TestGame/Levels/Sum/T01_Induction.lean b/server/adam/Adam/Levels/Sum/T01_Induction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/T01_Induction.lean rename to server/adam/Adam/Levels/Sum/T01_Induction.lean diff --git a/server/testgame/TestGame/Levels/Sum/T02_Induction.lean b/server/adam/Adam/Levels/Sum/T02_Induction.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/T02_Induction.lean rename to server/adam/Adam/Levels/Sum/T02_Induction.lean diff --git a/server/testgame/TestGame/Levels/Sum/T03__Bernoulli.lean b/server/adam/Adam/Levels/Sum/T03__Bernoulli.lean similarity index 100% rename from server/testgame/TestGame/Levels/Sum/T03__Bernoulli.lean rename to server/adam/Adam/Levels/Sum/T03__Bernoulli.lean diff --git a/server/testgame/TestGame/Metadata.lean b/server/adam/Adam/Metadata.lean similarity index 100% rename from server/testgame/TestGame/Metadata.lean rename to server/adam/Adam/Metadata.lean diff --git a/server/testgame/TestGame/Options/ArithSum.lean b/server/adam/Adam/Options/ArithSum.lean similarity index 100% rename from server/testgame/TestGame/Options/ArithSum.lean rename to server/adam/Adam/Options/ArithSum.lean diff --git a/server/testgame/TestGame/Playground.lean b/server/adam/Adam/Playground.lean similarity index 100% rename from server/testgame/TestGame/Playground.lean rename to server/adam/Adam/Playground.lean diff --git a/server/testgame/TestGame/StructInstWithHoles.lean b/server/adam/Adam/StructInstWithHoles.lean similarity index 100% rename from server/testgame/TestGame/StructInstWithHoles.lean rename to server/adam/Adam/StructInstWithHoles.lean diff --git a/server/testgame/TestGame/StructInstWithHolesTest.lean b/server/adam/Adam/StructInstWithHolesTest.lean similarity index 100% rename from server/testgame/TestGame/StructInstWithHolesTest.lean rename to server/adam/Adam/StructInstWithHolesTest.lean diff --git a/server/testgame/TestGame/TacticDocs.lean b/server/adam/Adam/TacticDocs.lean similarity index 100% rename from server/testgame/TestGame/TacticDocs.lean rename to server/adam/Adam/TacticDocs.lean diff --git a/server/testgame/TestGame/Tactics.lean b/server/adam/Adam/Tactics.lean similarity index 100% rename from server/testgame/TestGame/Tactics.lean rename to server/adam/Adam/Tactics.lean diff --git a/server/testgame/TestGame/ToBePorted.lean b/server/adam/Adam/ToBePorted.lean similarity index 100% rename from server/testgame/TestGame/ToBePorted.lean rename to server/adam/Adam/ToBePorted.lean diff --git a/server/testgame/gameserver b/server/adam/gameserver similarity index 100% rename from server/testgame/gameserver rename to server/adam/gameserver diff --git a/server/testgame/lake-manifest.json b/server/adam/lake-manifest.json similarity index 100% rename from server/testgame/lake-manifest.json rename to server/adam/lake-manifest.json diff --git a/server/testgame/lakefile.lean b/server/adam/lakefile.lean similarity index 100% rename from server/testgame/lakefile.lean rename to server/adam/lakefile.lean diff --git a/server/testgame/lean-toolchain b/server/adam/lean-toolchain similarity index 100% rename from server/testgame/lean-toolchain rename to server/adam/lean-toolchain