Search results

fregejs

A propositional logic library written in Typescript

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

iamthepoe

published 0.4.0 • 7 months agopublished 0.4.0 7 months ago