commit edaf5a05a143072facb6431af171d7c6956c0032 parent a6279b546317a7df1e8641567efaa859a0b52d7b 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