Synthetic Kolmogorov Complexity in Coq. - Yannick Forster 002; Fabian Kunze; Nils Lauermann (ITP, 2022)

Turán's Graph Theorem. - Nils Lauermann (Arch. Formal Proofs, 2022)