Simple web app that evaluates propositional calculus formula and checks whether it is a tautology.
This app was build as an additional task for matematical logic course on my University.
The frontend is written in Polish.
Website is hosted on my uni tilde website.
This project is licensed under the MIT license.