a little tidying

leanprover-community · Oct 5, 2023 · 5f3f511 · 5f3f511
1 parent 8a03ea3
commit 5f3f511
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 124 deletions.
diff --git a/Game/Levels/AdvAddition/Level_5.lean b/Game/Levels/AdvAddition/Level_5.lean
diff --git a/Game/Levels/AdvAddition/Level_6.lean b/Game/Levels/AdvAddition/Level_6.lean