chore: golf a few proofs in chapter 6 · mo271/FormalBook@4f40b42

Triggered via pull request November 9, 2024 20:30

opened #74

pitmonticone:golf-ch6

Status Success

Total duration 41m 16s

Artifacts 1

blueprint.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	37.2 MB