GitHub repository: Edward-Ji/logiclib
Primary language: Python
Description: A Python library for first-order logic.