There is little I can add to this superb answer, so please vote it up!
I wanted to add a slightly different perspective, which hopefully will contribute to the discussion.
To me the answer can be broken into three questions:
1) If we want to accelerate the process described in the previous answer, how much fluorite mining is required?
0.2 Pa of $CF_4$ is of the order of 7.2 billion tonnes of $CF_4$, which is close to 6.2 billion tonnes of elemental fluorine (7.2x76/88 - I'm using molecular weight ratios) requiring 12.7 billion tonnes of pure $CaF_2$ ore (6.2x78/38). Zubrin envisions a 50-year fluorocarbon production period to warm Mars. It's hard to see how a much longer period would be tolerated.
(Note my calculation of 6.2 billion tonnes of fluorine agrees with the 43275 kg fluorine per km^2 in the question, since Mars' surface area is ~144 million km^2.)
So a reasonable mining rate would be 250 Mt $CaF_2$ as acidspar per year, nearly 15 times Earth's annual mine production.
This is not in itself a massive undertaking. About 2,500 Mt of iron ore are mined globally each year along with 8,000 Mt of coal. With appropriate demand and resources, 250 Mt ore a year is not insurmountable, especially if large scale automated mining processes and high purity ore are available.
2) Is this quantity of fluorite available on Mars?
Martian regolith contains between 0.8% and 2.2% fluorine by weight, mostly as fluorite ($CaF_2$), much higher than the concentration in Earth's crust of 600-800 ppm. There is at least 10 times as much fluorine on Mars compared with Earth.
3) Is this fluorite readily available as high grade "acidspar" (>97% $CaF_2$) on Mars?
The answer to this question is (necessarily?) long, so strap yourself in. There's inorganic chemistry coming...
As explained in the previous answer, this depends on the geology of fluorite ores, and particular the mechanisms of their formation.
High grade fluorspar (acidspar) is almost exclusively formed hydrothermally. Fortunately ancient Mars appears to have had hydrothermal activity in abundance.
Sodium fluoride ($NaF$) and potassium fluoride ($KF$), and many other fluoride salts, are highly soluble in water. In contrast, calcium fluoride or fluorite ($CaF_2$) is very insoluble. If fluoride ions in solution (say from dissolved $NaF$ for example) mix with dissolved calcium ions, $CaF_2$ will crystalise at high purity. That's acidspar.
Calcium carbonate ($CaCO_3$) or calcite is a common source of calcium ions in solution. On first appearance, calcium carbonate appears no more soluble in water than calcium fluoride. However in the presence of dissolved CO2 or in acids, calcium carbonate can be quite soluble.
Such coupled reactions can result in the precipitation or crystallisation of one compound at the expense of the dissolution of another. Calcium ions will be precipitated from solution in the presence of fluoride, driving further dissolution of calcium carbonate to replace the calcium ions in solution. This can result in massive formations of high purity fluorspar (i.e. acidspar).
Mars has abundant calcite deposits. It's likely much of Mars original $CO_2$ is sequestered as calcite in beneath the surface of Mars. Far more calcite likely originated from ancient hydrothermal/volcanic activity.
However the presence of acidspar grade fluorite can only be determined by detailed prospecting, exploration, and feasibility studies. The thickness of any deposits and mining viability can't be determined by remote sensing or surface analysis alone.
In conclusion: Mars has much higher surface concentrations of the fluorite required for production of fluorocarbons than Earth. High purity fluorite (acidspar) forms as a result of hydrothermal processes involving mixing of soluble fluorides with dissolved calcium, such as occur in calcite deposits under appropriate conditions. Rich calcite deposits occur on Mars as a result of its early wet history.
There are good reasons to suspect large high-purity fluorite deposits exists on Mars, possibly on the scale required to produce vast quantities of fluorocarbons. However, only detailed geological surveys can determine this with confidence.