nsbgn / judge

Tableau-based theorem prover for justification logic.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

nsbgn/judge Stargazers