GitHub repository: rachel-stowe-dickinson/FOL_Resolution
Primary language: Python
Description: Tool for verifying resolution proofs in first order logic