UNPKG
fregejs
Version:
latest (0.4.0)
0.4.0
0.3.0
0.2.3
0.2.1
0.2.0
0.1.0
A propositional logic library written in Typescript
github.com/etec-sa
etec-sa/frege
fregejs
/
src
/
proof-checker
/
__tests__
1 file
Filename
Content Type
Size
../
proofChecker.test.ts
text/typescript
4.05 kB