fregejs

A propositional logic library written in Typescript

v0.4.0 URL: https://unpkg.com/fregejs@0.4.0/dist/index.js

Open Browse Files

logic propositional-logic proof-assistant logic-client