| OS | Man Page | Section | Hits |
|---|---|---|---|
| debian | proof | 1 | 652 |
| linux | proof | 1 | 588 |
| bsd | proof | 1 | 552 |
| plan9 | proof | 1 | 516 |
| opendarwin | proof | 1 | 503 |
| suse | proof | 1 | 500 |
| linux | proofserv | 1 | 494 |
| minix | proof | 1 | 493 |
| freebsd | proofserv | 1 | 489 |
| suse | proofserv | 1 | 476 |
| sunos | proof | 1 | 472 |
| xfree86 | proof | 1 | 450 |
| opensolaris | proof | 1 | 444 |
| mojave | proof | 1 | 442 |
| osx | proofserv | 1 | 441 |
| debian | proofserva | 1 | 438 |
| sunos | proofserv | 1 | 438 |
| mojave | proofserv | 1 | 435 |
| debian | proofserv | 1 | 432 |
| centos | proofserv | 1 | 431 |
| osx | proof | 1 | 431 |
| debian | proofd | 1 | 430 |
| x11r4 | proof | 1 | 426 |
| v7 | proof | 1 | 426 |
| minix | proofserv | 1 | 421 |
| php | proofserv | 1 | 419 |
| centos | proof | 1 | 416 |
| php | proof | 1 | 405 |
| v7 | proofserv | 1 | 404 |
| xfree86 | proofserv | 1 | 391 |
| posix | proofd | 1 | 371 |
| sunos | proofd | 1 | 364 |
| linux | proofd | 1 | 357 |
| freebsd | proofd | 1 | 342 |
| debian | prooftrans | 1 | 339 |
| ultrix | proof | 1 | 335 |
| minix | proofd | 1 | 329 |
| centos | proofd | 1 | 328 |
| opendarwin | proofd | 1 | 326 |
| xfree86 | proofd | 1 | 319 |
| hpux | proofd | 1 | 316 |
| suse | proofd | 1 | 315 |
| redhat | proofd | 1 | 313 |
| v7 | proofd | 1 | 311 |
| mojave | proofd | 1 | 310 |
| opensolaris | proofd | 1 | 306 |
| posix | proof | 1 | 305 |
| osf1 | proof | 1 | 303 |
| osx | proofd | 1 | 300 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 296 |