Truth-Table builder - Githubissues

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser

http://gleachkr.github.io/Carnap/

GNU General Public License v3.0

3 stars 0 forks source link

Open gleachkr opened 9 years ago

gleachkr commented 9 years ago

We'd like to have an interface for building truth tables, and checking them against propositional language formulas.