Merge pull request #39 from abooij/prop-trunc
authorSimon Huber <hubsim@gmail.com>
Fri, 1 Jul 2016 12:34:42 +0000 (14:34 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Jul 2016 12:34:42 +0000 (14:34 +0200)
commitee32e4e7d84426e573f3f31e72d1fa19ed419af2
tree207b10b61177a69d40ad4108bf968f61290da6bb
parent582d8977279f3863e2b4a83f24297d1c479d9168
parent58c2fe92dbbb19225d7fabe4559a4e1b7a97d699
Merge pull request #39 from abooij/prop-trunc

implement propositional truncation