Skip to content
Verify with KeY

Update prove.sh #40

Sign in to view logs

Update prove.sh

Update prove.sh #40

Triggered via push June 23, 2024 01:17
@wadoonwadoon
pushed f14ffa2
main
Status Success
Total duration 1m 21s
Artifacts –

check.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in