GitHub repository: GPoleto27/logic-prober
Primary language: Python
Description: Analisador lexical, sintático e semântico para expressões lógicas implementado em Python.