Skip to content

Disjunction interface should be simpler #252

Disjunction interface should be simpler

Disjunction interface should be simpler #252

Triggered via issue December 2, 2025 15:51
@pulsipherpulsipher
commented on #129 d3c218c
Status Skipped
Total duration 2s
Artifacts

TagBot.yml

on: issue_comment
Fit to window
Zoom out
Zoom in