Skip to content

Instantly share code, notes, and snippets.

@viadean
Last active February 6, 2025 10:58
Show Gist options
  • Save viadean/90b2d196fd3417acc9b3afdbffb3453e to your computer and use it in GitHub Desktop.
Save viadean/90b2d196fd3417acc9b3afdbffb3453e to your computer and use it in GitHub Desktop.
Calculations with congruences | Patterns of Thought plus AI Reasoning
12 + 8 ≡ 7 + 3 (mod 5) is TRUE
4 ≡ 4 (mod 5) is TRUE
96 ≡ 21 (mod 5) is TRUE
Conditions not met: a' ≡ a (mod 5) and b' ≡ b (mod 5) must hold
-3 ≡ -3 (mod 7) is TRUE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment