1. The Sharkovsky Theorem: A Natural Direct Proof
2. Yaël Dillies and Bhavik Mehta . 2022 . Formalising Szemerédi’s Regularity Lemma in Lean. In 13th International Conference on Interactive Theorem Proving (ITP 2022). Yaël Dillies and Bhavik Mehta. 2022. Formalising Szemerédi’s Regularity Lemma in Lean. In 13th International Conference on Interactive Theorem Proving (ITP 2022).
3. Maintaining a Library of Formal Mathematics
4. Bau-Sen Du. 2007. A Simple Proof of Sharkovsky’s Theorem Rerevisited. arXiv preprint arXiv:0711.3892. Bau-Sen Du. 2007. A Simple Proof of Sharkovsky’s Theorem Rerevisited. arXiv preprint arXiv:0711.3892.
5. A Simple Proof of Sharkovsky's Theorem Revisited