Skip to content

Conversation

@andres-erbsen
Copy link
Collaborator

Follow-up to #136 , replacing what might be all but one end uses of Znumtheory.prime. That PR's changelog seems adequate for that+this PR if they land in the same release.

@andres-erbsen andres-erbsen force-pushed the even-less-znumtheory branch 4 times, most recently from e3ecea3 to d84aa1c Compare May 4, 2025 17:10
@andres-erbsen andres-erbsen requested a review from proux01 May 4, 2025 17:25
@andres-erbsen andres-erbsen mentioned this pull request May 9, 2025
5 tasks
@andres-erbsen andres-erbsen force-pushed the even-less-znumtheory branch from d84aa1c to e3d1108 Compare May 10, 2025 14:05
@andres-erbsen andres-erbsen merged commit 9a28a8b into rocq-prover:master May 10, 2025
227 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant