JavaFX-based theorem prover for logic, mostly about the GUI-design