/modal_logic

Final Year Masters Project: modal logic solver tableaux

Primary LanguagePython

Watchers