A computational approach to the ample cone of moduli spaces of curves

We present an alternate proof, much quicker and more straightforward than the original one, of the celebrated F-conjecture on the ample cone of the moduli space $\overline{M}_{0,n}$ of stable rational curves with $n$ marked points in the case $n=7$