|
Archive of
Formal
Proofs
Statistics
Number of Articles: | 297 |
Number of Authors: | 213 |
Number of lemmas: | ~79,700 |
Lines of Code: | ~1,353,700 |
Most used AFP articles:
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles:
|
|