Skip to content
Awaiting Review

SUBGRAPH: Add the implications/anti-implications between 4564 and the other equations as conjecture statements. #16

Sign in to view logs

SUBGRAPH: Add the implications/anti-implications between 4564 and the other equations as conjecture statements.

SUBGRAPH: Add the implications/anti-implications between 4564 and the other equations as conjecture statements. #16

Triggered via issue October 2, 2024 18:34
@teorthteorth
commented on #76 b5dc599
Status Skipped
Total duration 2s
Artifacts –

05-awaiting-review.yml

on: issue_comment
awaiting_review
0s
awaiting_review
Fit to window
Zoom out
Zoom in