Golf proofs in `Minimal.lean` #91

Sign in to view logs

Triggered via pull request May 24, 2024 16:33

synchronize #41

pitmonticone:simplify

Status Cancelled

Total duration 19s

Artifacts –

build.yml

on: pull_request

Annotations

1 error

Build project

Canceling since a higher priority waiting request for 'lean-build' exists