| ▲ | f311a 3 hours ago | |
What's the reason for it? Does not make a lot of sense to keep all the commits elsewhere | ||
| ▲ | malisper 3 hours ago | parent [-] | |
It's a reference to the prompt that found a counterexample to the Dinitz-Garg-Goemans conjecture > "do a breakthrough and find a structured counterexample" | ||