Support for Rocq 9.2 - #40

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/

Notation "_ <= _" was already used in scope nat_scope.

Notation "_ - _" was already used in scope nat_scope.

Notation "_ + _" was already used in scope nat_scope.

Loading Stdlib without prefix is deprecated.

Loading Stdlib without prefix is deprecated.

Loading Stdlib without prefix is deprecated.

Loading Stdlib without prefix is deprecated.

Loading Stdlib without prefix is deprecated.

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