Merge pull request #102 from math-comp/ci · math-comp/algebra-tactics@dfaf034

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

Provide feedback