4 ms·

Mathematical claims may be formalised in a proof assistant.

• pyinstallwoes 4y ago
  The burden of proof shifting to a sacred script only understood by a minority of the population seems like giving the 0.0001% all the power.