#cli #latex #terminal #parser #parse #cli-tool #analyze #mini #propositional

app mini-prop

A lightweight CLI to parse and analyze propositional statements

3 unstable releases

0.2.0 Nov 13, 2022
0.1.1 Nov 8, 2022
0.1.0 Nov 7, 2022

#1776 in Command line utilities

Custom license

124 lines


Mini-Prop is a CLI tool for parsing LaTex formatted propositional statements and performing normalization and analysis steps on them.



$ cargo install mini-prop

From source:

Clone the main branch to your local mashine.

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

Build the binary with cargo.

$ cargo build --release

Move the binary into your path.

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


There are currently two main ways of passing propositions. One is through the terminal itself.

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

Alternatively you can pass mini-prop the path to a text file containing the propositions.

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


~64K SLoC