"git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "b82deb1ef1d0702529e002c477b17d779f7bc7be"
Romain Edelmann
authored
See Stack Overflow question: http://stackoverflow.com/questions/32022588/why-the-wrongcommutative-timeout-in-the-propositionallogic-example-in-leon-onlin