fregejs/src/exceptions/index.ts

A propositional logic library written in Typescript

export * from './invalid-formula.exception';
export * from './invalid-inference.exception';
export * from './invalid-proof-sequence.exception';
export * from './unrecognized-token.exception';