Anton Mellit
Results
2
comments of
Anton Mellit
You are right, but actually this change has nothing to do with the new functionality. The old way `$this->process($form)` was called is broken and I wasn't sure what's the better...
Actually, replacing ∨ by ∧ gives me "unsolved goals ⊢ 3 < 5". Also trying to prove only 3