3 ms·
> How is it logically coherent? It's not. But Lean doesn't interrogate logical coherence, just internal consistency.
by JumpCrisscross 1mo ago
> How is it logically coherent?
It's not. But Lean doesn't interrogate logical coherence, just internal consistency.