3 ms·

What is a "fragile" proof?

• staunton 2y ago
  It no longer works when some definition or other theorem changes slightly. Most of these proof assistants provide ways to write proofs that can slightly adjust and "plug together" the other theorems in the "obvious" way.
  • harpiaharpyja 2y ago
    So it's a brittle proof