Success in Proof-Finder Project
A few years ago we ended the LWB project and from then on we kept receiving enquiries as to whether it could be continued. In response to this, the small project Proof-Finder was created, which is programmed in Python and checks the derivability of formulas for the logics CPL and IL as well as the modal logics K and S4 and generates the corresponding LaTeX code. The project is open source and feedback, especially suggestions for improvement, are very welcome.