v3.2.0

Azumabashi released this 17 Sep 08:00

· 13 commits to main since this release

9c80efb

Support parsing from string corresponds to a formula to formula expressed with a PropLogicFormula type.

Assets 2