Skip to content
Check whitespace

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #758

Sign in to view logs

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #758

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
9s
9s