UNPKG

fregejs

Version:

A propositional logic library written in Typescript

github.com/etec-sa

etec-sa/frege

2 lines (1 loc) • 60 B
1
2
export class InvalidProofSequenceException extends Error {}