Core enumerations used in the ChopLogic system. This module consolidates all enumeration types used for logical operations, syntax processing, and proof systems.
Core enumerations used in the ChopLogic system. This module consolidates all enumeration types used for logical operations, syntax processing, and proof systems.