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

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

/**
 * Core type definitions for the logical system.
 * This module consolidates all types and interfaces used for logical expressions,
 * proof systems, and truth evaluations.
 *
 * @packageDocumentation
 * @module Models
 */
export * from "./basic";
export * from "./formula";
export * from "./proof";
export * from "./truth-table";