- 2023.11.01 : Proof editing methods for insert, delete, cut, copy, paste etc.
- 2023.10.18 : Automatic annotation of Fitch proof
- 2023.10.07 : Alpha-beta pruning
- 2023.09.28 : LaTeX and Text output of proof, with verbose option
which shows the proof validation result. - 2023.09.19 : Proof verifier for Propositional logic
- 2023.09.12 : Parser for Fitch proofs
- 2023.08.09 : Document.pdf
- 2023.08.08 : Truth table (text mode only)
- 2023.06.26 : Parser for 1st-order logic formulas