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