Skip to content

[main]: prove List.count_eq_diff_of_subperm #55

Sign in to view logs

[main]: prove List.count_eq_diff_of_subperm

[main]: prove List.count_eq_diff_of_subperm #55

Triggered via dynamic October 14, 2024 06:00
@github-codespacesgithub-codespaces[bot]
⁠ 007607c
Status Success
Total duration 17m 37s
Artifacts –

create_codespaces_prebuilds

on: dynamic
prebuild
17m 20s
prebuild
Fit to window
Zoom out
Zoom in