commit 304bad0e0f536d5b1cd2c9c81dfc77cc942de11a parent 3bfbfb2371eaf04b8efecf08d8864266e4bbb215 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]