Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
インストール
実行可能なパッケージ
現在の Registry レコードには、対応するパッケージまたはリモートエンドポイントが登録されていません。
できること
ツール一覧
公開できるツールの列挙は記録されていません。
コミュニティ
エビデンス
最近の観測
このサーバーには Registry のメタデータがありますが、公開された検証実行はまだありません。