11 ms·Will others fork his proof to fill in the gaps? Is there a github for maths proofs?by swerveonem 8y agoWill others fork his proof to fill in the gaps? Is there a github for maths proofs?