chop-logic-core/lib/enums/index.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

/**
 * Core enumerations used in the ChopLogic system.
 * This module consolidates all enumeration types used for logical operations,
 * syntax processing, and proof systems.
 *
 * @packageDocumentation
 * @module Enums
 */
export * from "./proof";
export * from "./symbols";