Skip to content
indentation

Congruences: Make % sound by restricting cases where we return a cons… #7977

Sign in to view logs

Congruences: Make % sound by restricting cases where we return a cons…

Congruences: Make % sound by restricting cases where we return a cons… #7977

Triggered via push September 12, 2023 14:03
@michael-schwarzmichael-schwarz
pushed bff9159
issue_1156
Status Skipped
Total duration 2s
Artifacts –

indentation.yml

on: push
Matrix: indentation
Fit to window
Zoom out
Zoom in