Skip to content

split Zdivisibility from Znumtheory, deprecate most of Znumtheory#136

Merged
andres-erbsen merged 2 commits into
rocq-prover:masterfrom
andres-erbsen:less-znumtheory
May 10, 2025
Merged

split Zdivisibility from Znumtheory, deprecate most of Znumtheory#136
andres-erbsen merged 2 commits into
rocq-prover:masterfrom
andres-erbsen:less-znumtheory

add a compat require :/

8fbb9f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.