Package
Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
io.github.fvossel/unicode-logic-kitSource repository
Overview
What this server provides
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Install
1Packages
unicode-logic-kit0.33.0
Runtime
uvxTransport stdio