SPASS-gui Gui for SPASS (an automated theorem prover for first-order logic with equality) written in PySide6 Requirements: - Python >= 3.9 - SPASS executable in $PATH - Python modules listed in requirements.txt