Skip to content
Update Editor's Copy

Add an appendix that explains the proof procedures #382

Sign in to view logs

Add an appendix that explains the proof procedures

Add an appendix that explains the proof procedures #382

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

ghpages.yml

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

Artifacts

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