fregejs

Version:

A propositional logic library written in Typescript

6 files

Filename	Content Type	Size
../
index.ts	text/typescript	192 B
invalid-formula.exception.ts	text/typescript	54 B
invalid-inference.exception.ts	text/typescript	49 B
invalid-proof-sequence.exception.ts	text/typescript	60 B
syntax-error.exception.ts	text/typescript	46 B
unrecognized-token.exception.ts	text/typescript	57 B