3 ms·
If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.
by humansareok1 2y ago
If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.