Push3
Merge branch 'master' of https://github.com/luka-mikec/godellob-prover
Push4