formatting

reasoning_gym/logic/propositional_logic.py

@@ -1,12 +1,12 @@
 """Propositional logic task generator"""
 
 from dataclasses import dataclass
-from enum import Enum
+from enum import StrEnum
 from random import Random
-from typing import Any, List, Optional, Set, Tuple
+from typing import Any, List, Optional, Set
 
 
-class Operator(Enum):
+class Operator(StrEnum):
     """Basic logical operators"""
 
     AND = "∧"