Most books state that the formula for curl of a vector field is given by $\nabla \times \vec{V}$ where $\vec{V}$ is a differentiable vector field. Also, they state that: "The curl of a vector field measures the tendency for the vector field to swirl around".
But, none of them state the derivation of the formula. In other words : "How can we derive the formula for the quantity which measures the tendency for the vector field to swirl around" ?


The answer to this question is easily Google-able. See, for example, these notes from MIT OCW on the physical interpretation of the two-dimensional curl.
To briefly summarize: the circulation of a vector field $\mathbf{F}$ around a closed loop $c$ is measured by the line integral $\oint_c\mathbf{F}\cdot d\mathbf{r}$. If this quantity is nonzero, the field has a tendency to swirl around the loop. The idea of the curl is to measure this effect microscopically, as a density, rather than macroscopically, as a line integral. In other words, we want the curl to be the thing we integrate in order to determine the macroscopic circulation.
So imagine a three-dimensional field $\mathbf{F}$ and a point $p\in\mathbb{R}^3$. Consider a disk $D$ of radius $r$ in some plane that contains $p$. The tendency of the field to swirl around the boundary of the disk $\partial D$ is $\oint_{\partial D}\mathbf{F}\cdot d\mathbf{r}$. By Green's theorem in the plane containing the disk, this is $\iint_D(\text{curl}\,\mathbf{F})\cdot\mathbf{\hat{n}}\,dA$, where $\mathbf{\hat{n}}$ is a normal vector to the disk. In other words, the component of the curl in the direction $\mathbf{\hat{n}}$ is the "circulation density" per unit area:
$$(\text{curl}\,\mathbf{F})\cdot\mathbf{\hat{n}}=\lim_{r\to 0}\frac{1}{\pi r^2}\iint_D(\text{curl}\,\mathbf{F})\cdot\mathbf{\hat{n}}\,dA = \lim_{r\to 0}\frac{1}{\pi r^2}\oint_{\partial D}\mathbf{F}\cdot d\mathbf{r}$$
The quantity $\frac{1}{\pi r^2}\oint_{\partial D}\mathbf{F}\cdot d\mathbf{r}$ has units (units of circulation) / (units of area). It tells us the average macroscopic circulation per unit area for the macroscopic disk $D$. To get a microscopic quantity, we just take the limit of this density as we shrink the disk to a point (which here amounts to shrinking the radius $r$ to zero).