https://github.com/formulae-org/package-logic-js

Logic package for Fōrmulæ, in JavaScript

conditional conjunction disjunction equivalence exclusive-disjunction existential-quantifier formulae javascript logic negation predicate-logic predicates universal-quantifiers

Last synced: 12 Oct 2025