sol

How are proofs made?

7 2021-10-25 23:08: >>5
They reject the law of excluded middle because there are some logical paradoxes involving it. Interestingly all proof engines I'm aware of use constructivist math.
8: VIP:

do not edit these