io.github.fvossel/unicode-logic-kit

Unicode Logic Kit

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

0.33.0
Version
pypi
Transport
—
Tools

Security review

Review passed

Reviewed 1h ago.

  • metadata: scanned
  • packages: 1 checked

No findings.