UNPKG

chop-logic-core

Version:

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

11 lines (10 loc) 276 B
/** * 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";