Restore historical ssreflect rewrite goal ordering by JasonGross · Pull Request #76 · rocq-community/lemma-overloading

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

The default and global localities for this command outside sections

Unused variable e might be a misspelled constructor. Use _ or _e to

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

"From Coq" has been replaced by "From Stdlib".

Notation nosimpl is deprecated since mathcomp 2.3.0.

Notation nosimpl is deprecated since mathcomp 2.3.0.

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Provide feedback