Turan's third proof

Stream: Proofs from the book

[Yves Jäckle]

Hey!
Rodrigo has formalized the third proof of Turan's theorem from "Proofs from the book" for his Bachelor's thesis here: https://github.com/ro-gut/turan3

[Kevin Buzzard]

Immediate comment: the README should state the theorem and maybe even give a sketch of the proof.

[Yves Jäckle]

I can ask Rodrigo if they want to upload their thesis once they're done :+1:

[Kevin Buzzard]

Sure, and if they do then there could be a link from the Readme, but right now I'm just suggesting that if this repo is on the public internet then it might get picked up by Reservoir and then randomers will be clicking on the link (in fact you already made the link public, this channel is world-readable, and I already clicked on it) and right now the Readme is useless so in my mind it's a priority to fix that because it's also an easy fix.