Skip to content

feat: List.tail lemma #4367

feat: List.tail lemma

feat: List.tail lemma #4367

Triggered via pull request September 12, 2024 00:54
Status Success
Total duration 15s
Artifacts

check-prelude.yml

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