Search results

fregejs

A propositional logic library written in Typescript

• logic
• propositional-logic
• proof-assistant
• logic-client

iamthepoe

published 0.4.0 • 6 months agopublished 0.4.0 6 months ago