npm.io

Proof-assistant Packages

fregejs

A propositional logic library written in Typescript

logic propositional-logic proof-assistant logic-client

0.4.0 • Published 3 years ago

contact@npm.io