commenting

eyereasoner · Oct 7, 2023 · 26b9416 · 26b9416
1 parent 6c037be
commit 26b9416
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/reasoning/sequents/README b/reasoning/sequents/README
@@ -4,7 +4,7 @@ Sequents
 
 See https://en.wikipedia.org/wiki/Sequent
 
-E.g.
+A sequent is a log:implies with a set of possible conclusions e.g.
 
 # all cars are green or blue
 {