Will others fork his proof to fill in the gaps? Is there a github for maths proofs?