Not measured4 / 6 checks passed
Unicode Logic Kit
fvosselVerified
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
- Updated recently
Not checked yet
fvosselVerified
io.github.fvossel
The registry namespace is a GitHub login.