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