Formalized Mathematics is highly ranked in the
Most Cited Computer Science Articles indexed by
CiteSeerX abstracting service:

3 FM articles are listed in the 100 most cited articles (please observe the big number of citations).