Skip to content
Disclaim Issue

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

Sign in to view logs

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

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

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

02-disclaim-issue.yml

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