Login
From:
Henry de Valence
(Uncensored)
subscribe
A neat trick to distinguish integers
https://hdevalence.ca/blog/2012-10-25-a-neat-trick-to-distinguish-integers/
links
backlinks
Roast topics
Find topics
Find it!
Using Lagrange's Four Square Theorem to express integer inequality in positive existential arithmetic without using negation
