Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
0.35.0version the registry lists (4 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.fvossel/unicode-logic-kit
· Source code · Website
Reported issues
None found in OSV or the NVD CVE list. Checked 10 hours ago.
Versions in the registry
0.35.0 (listed), 0.34.0, 0.33.0, 0.32.0