← All repos

elliotglazer/diophantine-z-q

View on GitHub ↗ ★ 74 TeX

A proof that Z is Diophantine in Q.

3 mentions on Hacker News by 3 people: 3 stories, 0 comments · first 2026-11-05 · latest 2026-11-08