Wikipedia:WikiProject Mining/Count

 
 * Use  to count total number of articles in category:mining.
 * Use  to count the number of articles tagged for WikiProject mining.