commit dfc80f276f874deb7d53bf18c74aae62c5564b76 parent 143221474ec80af221a02a455fddf4f70de37a32 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Fri, 8 Aug 2025 14:16:36 +0200 commit with codex Diffstat:
universality_problem | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/universality_problem b/universality_problem @@ -7,3 +7,5 @@ Up: [computational_problem], [formal_language] See also: [language_emptiness] + +Aliases: language universality, language universality problem