GitHub repository: AndreiMaga/WFF
Primary language: Python
Description: A tool for checking syntax and creating truth tables for wffs.