commit 7f608ca3f7a98eb2b96ca9efdcb6bbdc547fff22 parent d896808376c0d8fa9598d141bf2fb6f939f133fa Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 5 Jun 2025 14:44:28 +0200 commit with codex Diffstat:
| logic | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/logic b/logic @@ -69,6 +69,7 @@ - [logical_implication] - [sentence] - [function_symbol] +- [structure] Up: [mathematics], [theoretical_computer_science]