HackerGit Trending Discord Star

elliotglazer/diophantine-z-q

A proof that Z is Diophantine in Q.

6 best points · 0 comments · 3 Hacker News posts · 63 GitHub stars · View on GitHub

Hacker News discussions