Skip to content
Nix CI for bundle 8.20-2.4.0

Added lemma to swap mathcomp natural log with Rocqs natural log #504

Sign in to view logs

Added lemma to swap mathcomp natural log with Rocqs natural log

Added lemma to swap mathcomp natural log with Rocqs natural log #504

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
59s
mathcomp-analysis-single
17m 4s
mathcomp-classical
4m 20s
mathcomp
2m 19s
mathcomp-reals
2m 28s
mathcomp-analysis
17m 15s
mathcomp-reals-stdlib
3m 2s
mathcomp-experimental-reals
3m 35s
ssprove
8m 3s
mathcomp-analysis-stdlib
3m 39s
1h 2m 44s