Dec 25, 2025 · Paul Kronlund DrouaultCompleteability and Regular ExpressionsInteresting challenges regarding two-level languages in Proposition 7
