Skip to content

feat: toNat_sub_of_le #4386

feat: toNat_sub_of_le

feat: toNat_sub_of_le #4386

Triggered via pull request September 12, 2024 12:59
Status Success
Total duration 16s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
3s
check-prelude
Fit to window
Zoom out
Zoom in