marcincuber / modal_logic

Final Year Masters Project: modal logic solver tableaux

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

marcincuber/modal_logic Stargazers