GitHub repository: salastro/deducto
Primary language: Python
Created: 2025-04-21T12:22:18Z
Description: An interactive proof assistant for propositional logic: apply rules; devise premises; and derive conclusions, step-by-step.