| OS | Man Page | Section | Hits |
|---|---|---|---|
| debian | proof | 1 | 722 |
| linux | proof | 1 | 652 |
| bsd | proof | 1 | 611 |
| plan9 | proof | 1 | 601 |
| linux | proofserv | 1 | 581 |
| freebsd | proofserv | 1 | 580 |
| opendarwin | proof | 1 | 576 |
| suse | proof | 1 | 571 |
| minix | proof | 1 | 560 |
| sunos | proof | 1 | 534 |
| suse | proofserv | 1 | 532 |
| osx | proofserv | 1 | 513 |
| xfree86 | proof | 1 | 502 |
| opensolaris | proof | 1 | 502 |
| mojave | proof | 1 | 501 |
| centos | proofserv | 1 | 499 |
| sunos | proofserv | 1 | 495 |
| osx | proof | 1 | 490 |
| mojave | proofserv | 1 | 489 |
| debian | proofd | 1 | 487 |
| debian | proofserv | 1 | 485 |
| debian | proofserva | 1 | 482 |
| v7 | proof | 1 | 480 |
| centos | proof | 1 | 474 |
| php | proofserv | 1 | 470 |
| x11r4 | proof | 1 | 470 |
| v7 | proofserv | 1 | 468 |
| minix | proofserv | 1 | 467 |
| php | proof | 1 | 463 |
| xfree86 | proofserv | 1 | 447 |
| posix | proofd | 1 | 409 |
| ultrix | proof | 1 | 398 |
| sunos | proofd | 1 | 395 |
| linux | proofd | 1 | 391 |
| debian | prooftrans | 1 | 386 |
| freebsd | proofd | 1 | 375 |
| opendarwin | proofd | 1 | 364 |
| minix | proofd | 1 | 363 |
| centos | proofd | 1 | 357 |
| hpux | proofd | 1 | 354 |
| mojave | proofd | 1 | 350 |
| redhat | proofd | 1 | 348 |
| xfree86 | proofd | 1 | 347 |
| osf1 | proof | 1 | 346 |
| redhat | proof | 1 | 345 |
| v7 | proofd | 1 | 345 |
| posix | proof | 1 | 344 |
| suse | proofd | 1 | 344 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 336 |
| opensolaris | proofd | 1 | 335 |