/**
 * Proofery - A mathematical proof verifier
 * 
 * This module provides the main library API for parsing and verifying
 * mathematical proofs written in .prf format.
 * 
 * @example
 * ```typescript
 * import { parseContent, verifyFile } from 'proofery';
 * 
 * const prfContent = `
 * axiom my_axiom
 *     conclude eq(1, 1)
 * `;
 * 
 * const blocks = parseContent(prfContent);
 * verifyFile(blocks, false);
 * ```
 */

// Export parser functions (browser-safe)
export { parseContent } from './parser.js';

// Note: For Node.js file parsing (parseFile, parseFileSync), 
// import directly from 'proofery/nodeParser' instead

// Export verifier functions
export { verifyFile } from './verifier.js';

// Export types
export { Block } from './block.js';
export { Expression } from './expression.js';
export { Context } from './context.js';

// Export error classes
export { VerificationError, ParseError } from './errors.js';