Skip to content
Update Editor's Copy

Add an appendix that explains the proof procedures #380

Sign in to view logs

Add an appendix that explains the proof procedures

Add an appendix that explains the proof procedures #380

Triggered via pull request October 15, 2025 16:07
@davidbendavidben
synchronize #150
proof-explain
Status Success
Total duration 25s
Artifacts 1

ghpages.yml

on: pull_request
Update Editor's Copy
20s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
123 KB
sha256:d92157fa20681a6d4c42b658ba3bed4576bcc37b43325065e875bd6df5052a2c