A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"
Home Page:https://arxiv.org/abs/2206.04260
Repository from Github https://github.comjcpaik/erdos-tuza-valtrRepository from Github https://github.comjcpaik/erdos-tuza-valtr
