Giters

caiomadeira / Tableaux-tester

A tableaux tester with a graphical interface.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Tableaux-tester

A tableaux tester with a graphical interface.

About

A tableaux tester with a graphical interface.

License:MIT License