Lfun1_integrable turned into an equivalence #676
Triggered via pull request
June 26, 2025 06:20
affeldt-aist
affeldt-aist
opened
#1655
Status
Success
Total duration
22m 27s
Artifacts
–
nix-action-9.0.yml
on: pull_request_target
coq
45s
mathcomp-analysis-single
12m 54s
mathcomp-analysis-stdlib
1m 36s
ssprove
5m 17s