1: \begin{abstract}

2: 		We study grand-canonical interacting fermionic systems in the mean-field regime, in a trapping potential. 

3: 		We provide the first order term of integrated and pointwise Weyl laws, but in the case with interaction. More precisely, we prove the convergence of the densities of the grand-canonical Hartree-Fock ground state to the Thomas-Fermi ground state in the semiclassical limit $\hbar\to 0$. For the proof, we write the grand-canonical version of the results of [S. Fournais, M. Lewin, J.P. Solovej, \emph{The semi-classical limit of large fermionic systems}, Calculus of Variations and Partial Differential Equations, 57, p.105 (2018)], 

4: 		and [J.G. Conlon, \emph{Semi-classical Limit Theorems for Hartree-Fock Theory}, Communications in Mathematical Physics, 88, p.133 (1983)].

5: 	\end{abstract}

6: