|
|
Archive of
Formal
Proofs
Statistics
| Number of Articles: | 303 |
| Number of Authors: | 217 |
| Number of lemmas: | ~80,900 |
| Lines of Code: | ~1,390,800 |
Most used AFP articles:
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles:
|
|