/visualTableaux

(Circa 2017) Educational tool to explain and visualize the workings of the tableau algorithm.

Primary LanguageJavaApache License 2.0Apache-2.0

Watchers

No one’s watching this repository yet.