回首頁Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.fvossel/unicode-logic-kit |
| 版本 | 0.32.0 |
| 分類 | 開發工具 |
| 遠端網址 | — |
| 安裝套件 | pypi：unicode-logic-kit（stdio） |
| 原始碼 | https://github.com/fvossel/unicode-logic-kit |
| 網站 | https://unicode-logic-kit.readthedocs.io/ |
| 最後更新 | 2026-10-10T21:35:07.631303Z |