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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
indentation
0s
0s