2 ms·

sorry, i'm not a native english. i meant formal proofs.

• AreaGuy 11y ago
  Ah, no problem. Thanks for clarifying! I thought it might be some terminology I did not know.