Mini-Prop

Mini-Prop是一个CLI工具，用于解析格式化的命题语句LaTex，并在其上执行归一化和分析步骤。

安装

Crates.io

$ cargo install mini-prop

从源代码安装

将主分支克隆到您的本地机器。

$ git clone https://github.com/emilHof/mini-prop.git && cd mini-prop

使用cargo构建二进制文件。

$ cargo build --release

将二进制文件移动到您的路径。

$ cp ./target/release/mini-prop /usr/bin/

用法

目前有两种主要方式传递命题。一种是通过终端本身。

$ mprop "A \land (B \lor C)" normal

或者您可以将包含命题的文本文件的路径传递给mini-prop。

$ mprop -f ./path/to/file/props.txt normal