A computer-assisted proof of the four-uniform Erdős matching conjecture

Contributed by Oleksiy Babanskyy

Source files

Download source .zip

Back to the main record