Skip to content
Update Editor's Copy

Add an appendix that explains the proof procedures #362

Sign in to view logs

Add an appendix that explains the proof procedures

Add an appendix that explains the proof procedures #362

Triggered via pull request October 6, 2025 16:34
@davidbendavidben
opened #150
proof-explain
Status Success
Total duration 28s
Artifacts 1

ghpages.yml

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

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
108 KB
sha256:20017ec03b92727ccfd6e85b82545f204e9e0232a20955a3a328093e6a3a4c83