Skip to content
Check for modules that should use `prelude`

chore: document failed proof strategy exploration about the higher order shift left recurrence #50

Sign in to view logs

chore: document failed proof strategy exploration about the higher order shift left recurrence

chore: document failed proof strategy exploration about the higher order shift left recurrence #50

Triggered via pull request July 3, 2024 09:12
@bollubollu
opened #9
shiftLeft-recurrence-higher-order-lemma
Status Success
Total duration 18s
Artifacts –

check-prelude.yml

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