imitating scratch Lemma 1: is `~[A]...` unravel-unravel-transitive? #89

Sign in to view logs

Triggered via push November 23, 2023 16:57

m4lvin

lemma4-more-like-MB

Status Failure

Total duration 1m 57s

Artifacts –

build.yml

on: push

Annotations

1 error

Process completed with exit code 2.