12420-decidable.rst « 10-standard-library « changelog « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/changelog/10-standard-library/12420-decidable.rst

blob: 6a4da91fa3e098582605e1e8319a0a5c89cbac98 (plain)

- **Added:**
  ``Decidable`` instance for negation
  (`#12420 <https://github.com/coq/coq/pull/12420>`_,
  by Yishuai Li).