Unicode Logic Kit
io.github.fvossel/unicode-logic-kit
95
security score
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Security scan
Last scanned 1 hour ago — static analysis of the published manifest.
- lowManifest makes network requests.