Tableaux Maker

A tableaux maker for propositional logic arguemtns.

Download Jar Vew on github
return to home