GitHub repository: whitemech/pylogics
Primary language: Python
Description: A Python library for logic formalisms representation and manipulation.