Skip to content

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1801

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1801

Triggered via issue December 9, 2024 14:11
@matentznmatentzn
commented on #2020 99ecf28
Status Skipped
Total duration 7s
Artifacts

diff.yml

on: issue_comment
branch_status
0s
branch_status
classify_branch
0s
classify_branch
classify_main
0s
classify_main
edit_file
0s
edit_file
diff_classification
0s
diff_classification
post_comment
0s
post_comment
Fit to window
Zoom out
Zoom in