Skip to content
Update Editor's Copy

Add an appendix that explains the proof procedures #371

Sign in to view logs

Add an appendix that explains the proof procedures

Add an appendix that explains the proof procedures #371

Triggered via pull request October 6, 2025 22:27
@davidbendavidben
synchronize #150
proof-explain
Status Success
Total duration 23s
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
108 KB
sha256:0573df285a14ab5851830ea72da42fa80fe3c844eedefb5107b2bc3184bc58aa