rename Path to Dependency

2023-07-23 20:31:16 +02:00
parent 04d81035ad
commit 2802e2ac08
1 changed files with 3 additions and 1 deletions
--- a/Game.lean
+++ b/Game.lean
@@ -59,6 +59,8 @@ If you delete it, your progress will be lost!

 "

-Path Proposition → AdvProposition
+-- Add manual paths
+Dependency Proposition → AdvProposition
+Dependency Multiplication → Function

 MakeGame