fp.
newest
Open in hackernews
A proof that Z is Diophantine in Q
https://github.com/elliotglazer/diophantine-z-q
1
•
lisper
•
9m ago