commit 320520c778b56fad1fb5d812a2d39444ab4f80b6 parent c0c2bdcd08776ed9d800b42c414985f4da279b3d Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 2 Sep 2025 09:03:27 +0200 commit with codex Diffstat:
| logic | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/logic b/logic @@ -20,6 +20,7 @@ - [separator_logic] - [description_logics] - [LTL] +- [logic_alternative] ## Problems