GitHub repository: vitgusmao/AllSubFormulas
Primary language: JavaScript
Description: A program that takes a propositional formula for entry and returns all its subforms