| OS | Man Page | Section | Hits |
|---|---|---|---|
| linux | proof | 1 | 105 |
| debian | proofserva | 1 | 84 |
| linux | proofserv | 1 | 77 |
| debian | proof | 1 | 75 |
| plan9 | proof | 1 | 74 |
| freebsd | proofserv | 1 | 67 |
| freebsd | proofd | 1 | 63 |
| suse | proof | 1 | 63 |
| linux | proofd | 1 | 63 |
| bsd | proof | 1 | 61 |
| opensolaris | proof | 1 | 59 |
| posix | proofd | 1 | 59 |
| minix | proofserv | 1 | 57 |
| php | proof | 1 | 56 |
| debian | proofd | 1 | 56 |
| debian | proofserv | 1 | 55 |
| sunos | proof | 1 | 53 |
| x11r4 | proof | 1 | 52 |
| opendarwin | proof | 1 | 52 |
| sunos | proofserv | 1 | 52 |
| osx | proofserv | 1 | 51 |
| mojave | proofd | 1 | 50 |
| osx | proof | 1 | 49 |
| centos | proof | 1 | 48 |
| sunos | proofd | 1 | 48 |
| minix | proofd | 1 | 48 |
| opensolaris | proofd | 1 | 47 |
| redhat | proof | 1 | 47 |
| v7 | proof | 1 | 46 |
| centos | proofserv | 1 | 46 |
| ultrix | proof | 1 | 45 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 45 |
| posix | proof | 1 | 44 |
| mojave | proof | 1 | 44 |
| mojave | proofserv | 1 | 44 |
| minix | proof | 1 | 43 |
| centos | proofd | 1 | 43 |
| redhat | proofd | 1 | 43 |
| v7 | proofd | 1 | 43 |
| suse | proofserv | 1 | 41 |
| php | proofd | 1 | 41 |
| v7 | proofserv | 1 | 40 |
| opendarwin | proofd | 1 | 40 |
| php | proofserv | 1 | 39 |
| xfree86 | proofserv | 1 | 39 |
| hpux | proofd | 1 | 38 |
| xfree86 | proofd | 1 | 36 |
| xfree86 | proof | 1 | 35 |
| debian | prooftrans | 1 | 34 |
| osx | proofd | 1 | 33 |