4 ms·
A counterexample (at least the jacobian conjecture one) is a lot easier to manually verify than 10MB Lean proof
by pcloadlett3r 26d ago
A counterexample (at least the jacobian conjecture one) is a lot easier to manually verify than 10MB Lean proof