| OS | Man Page | Section | Hits |
|---|---|---|---|
| linux | proof | 1 | 174 |
| debian | proof | 1 | 171 |
| plan9 | proof | 1 | 125 |
| debian | proofserva | 1 | 119 |
| linux | proofserv | 1 | 118 |
| minix | proofserv | 1 | 117 |
| sunos | proof | 1 | 117 |
| minix | proof | 1 | 115 |
| suse | proof | 1 | 114 |
| v7 | proof | 1 | 110 |
| osx | proof | 1 | 109 |
| posix | proofd | 1 | 108 |
| bsd | proof | 1 | 108 |
| freebsd | proofserv | 1 | 107 |
| opensolaris | proof | 1 | 106 |
| opendarwin | proof | 1 | 102 |
| freebsd | proofd | 1 | 101 |
| php | proof | 1 | 101 |
| debian | proofd | 1 | 100 |
| sunos | proofserv | 1 | 98 |
| mojave | proofserv | 1 | 96 |
| linux | proofd | 1 | 95 |
| sunos | proofd | 1 | 94 |
| mojave | proof | 1 | 94 |
| debian | proofserv | 1 | 93 |
| x11r4 | proof | 1 | 92 |
| osx | proofserv | 1 | 91 |
| xfree86 | proof | 1 | 90 |
| php | proofserv | 1 | 88 |
| hpux | proofd | 1 | 87 |
| mojave | proofd | 1 | 86 |
| centos | proofserv | 1 | 85 |
| centos | proof | 1 | 84 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 84 |
| minix | proofd | 1 | 82 |
| osf1 | proof | 1 | 78 |
| ultrix | proof | 1 | 78 |
| redhat | proof | 1 | 77 |
| v7 | proofserv | 1 | 76 |
| suse | proofserv | 1 | 76 |
| opensolaris | proofd | 1 | 76 |
| centos | proofd | 1 | 75 |
| xfree86 | proofserv | 1 | 75 |
| posix | proof | 1 | 74 |
| redhat | proofd | 1 | 74 |
| v7 | proofd | 1 | 72 |
| php | proofd | 1 | 70 |
| xfree86 | proofd | 1 | 69 |
| opendarwin | proofd | 1 | 67 |
| osx | proofd | 1 | 65 |