/prop-solver

proposition logic - truth table generator

Primary LanguageGo

Watchers