Hacker News new | ask | show | jobs
by swerveonem 2830 days ago
Will others fork his proof to fill in the gaps? Is there a github for maths proofs?