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
Using Lagrange's Four Square Theorem to express integer inequality in positive existential arithmetic without using negation
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
