Skip to content
Update Editor's Copy

Add an appendix that explains the proof procedures #361

Sign in to view logs

Add an appendix that explains the proof procedures

Add an appendix that explains the proof procedures #361

Triggered via push October 6, 2025 16:33
@davidbendavidben
pushed 6b8aa18
proof-explain
Status Success
Total duration 38s
Artifacts 1

ghpages.yml

on: push
Update Editor's Copy
34s
Update Editor's Copy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
108 KB
sha256:6bc2fb2ed402112bef44da6d602ce1436117abfc615a844be1860c911d772079