GitHub repository: sarangspadalkar/RS-Method-Validation
Primary language: Python
Description: Flask application to validate a propositional formula