olafvisker / kripkecheck

An intuitive graphical tool to build Kripke models and assess made inquiries.

Geek Repo

Github PK Tool