Skip to content
CI

rewrite Lemma 4 to include more of MB's assumptions but not all #87

Sign in to view logs

rewrite Lemma 4 to include more of MB's assumptions but not all

rewrite Lemma 4 to include more of MB's assumptions but not all #87

Triggered via push November 17, 2023 21:50
@m4lvinm4lvin
pushed 1e9cf9b
lemma4-more-like-MB
Status Failure
Total duration 2m 1s
Artifacts –

build.yml

on: push
Build
1m 25s
Build
Build Bml
1m 51s
Build Bml
Stats
8s
Stats
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 2.