1/**
2 * Proofery - A mathematical proof verifier
3 *
4 * This module provides the main library API for parsing and verifying
5 * mathematical proofs written in .prf format.
6 *
7 * @example
8 * ```typescript
9 * import { parseContent, verifyFile } from 'proofery';
10 *
11 * const prfContent = `
12 * axiom my_axiom
13 * conclude eq(1, 1)
14 * `;
15 *
16 * const blocks = parseContent(prfContent);
17 * verifyFile(blocks, false);
18 * ```
19 */
21// Export parser functions (browser-safe)
22export { parseContent } from './parser.js';
24// Note: For Node.js file parsing (parseFile, parseFileSync),
25// import directly from 'proofery/nodeParser' instead
27// Export verifier functions
28export { verifyFile } from './verifier.js';
30// Export types
31export { Block } from './block.js';
32export { Expression } from './expression.js';
33export { Context } from './context.js';
35// Export error classes
36export { VerificationError, ParseError } from './errors.js';