| OS | Man Page | Section | Hits |
|---|---|---|---|
| debian | proof | 1 | 603 |
| linux | proof | 1 | 537 |
| bsd | proof | 1 | 489 |
| suse | proof | 1 | 456 |
| opendarwin | proof | 1 | 453 |
| plan9 | proof | 1 | 449 |
| linux | proofserv | 1 | 447 |
| minix | proof | 1 | 445 |
| freebsd | proofserv | 1 | 428 |
| sunos | proof | 1 | 424 |
| suse | proofserv | 1 | 423 |
| xfree86 | proof | 1 | 407 |
| osx | proofserv | 1 | 402 |
| opensolaris | proof | 1 | 399 |
| mojave | proof | 1 | 395 |
| sunos | proofserv | 1 | 395 |
| osx | proof | 1 | 394 |
| x11r4 | proof | 1 | 392 |
| debian | proofd | 1 | 391 |
| mojave | proofserv | 1 | 389 |
| debian | proofserva | 1 | 389 |
| v7 | proof | 1 | 385 |
| debian | proofserv | 1 | 384 |
| php | proofserv | 1 | 381 |
| minix | proofserv | 1 | 380 |
| centos | proof | 1 | 374 |
| centos | proofserv | 1 | 374 |
| php | proof | 1 | 371 |
| v7 | proofserv | 1 | 355 |
| posix | proofd | 1 | 344 |
| xfree86 | proofserv | 1 | 344 |
| sunos | proofd | 1 | 326 |
| linux | proofd | 1 | 325 |
| debian | prooftrans | 1 | 311 |
| freebsd | proofd | 1 | 311 |
| opendarwin | proofd | 1 | 303 |
| ultrix | proof | 1 | 301 |
| centos | proofd | 1 | 297 |
| minix | proofd | 1 | 296 |
| hpux | proofd | 1 | 295 |
| opensolaris | proofd | 1 | 291 |
| xfree86 | proofd | 1 | 290 |
| redhat | proofd | 1 | 289 |
| v7 | proofd | 1 | 288 |
| suse | proofd | 1 | 288 |
| mojave | proofd | 1 | 275 |
| osf1 | proof | 1 | 273 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 272 |
| posix | proof | 1 | 271 |
| osx | proofd | 1 | 269 |