hmillerbakewell / composite-theory-disprover

Combine algebraic theories then attempt to show they are inconsistent

Geek Repo

Github PK Tool