Skip to content
Propose PR

Obelix =!=> Asterix, formal proof #955

Sign in to view logs

Obelix =!=> Asterix, formal proof

Obelix =!=> Asterix, formal proof #955

Triggered via issue October 21, 2024 15:11
@Shreyas4991Shreyas4991
commented on #624 83a320d
Status Skipped
Total duration 2s
Artifacts –

03-propose-pr.yml

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