| OS | Man Page | Section | Hits |
|---|---|---|---|
| debian | proof | 1 | 292 |
| linux | proof | 1 | 255 |
| plan9 | proof | 1 | 204 |
| suse | proof | 1 | 202 |
| linux | proofserv | 1 | 200 |
| freebsd | proofserv | 1 | 196 |
| debian | proofserva | 1 | 196 |
| osx | proof | 1 | 190 |
| osx | proofserv | 1 | 186 |
| v7 | proof | 1 | 184 |
| minix | proof | 1 | 183 |
| bsd | proof | 1 | 183 |
| opendarwin | proof | 1 | 181 |
| opensolaris | proof | 1 | 179 |
| sunos | proof | 1 | 175 |
| posix | proofd | 1 | 175 |
| mojave | proof | 1 | 174 |
| minix | proofserv | 1 | 173 |
| mojave | proofserv | 1 | 172 |
| x11r4 | proof | 1 | 172 |
| debian | proofd | 1 | 169 |
| php | proof | 1 | 167 |
| sunos | proofserv | 1 | 164 |
| debian | proofserv | 1 | 163 |
| xfree86 | proof | 1 | 162 |
| suse | proofserv | 1 | 162 |
| freebsd | proofd | 1 | 161 |
| hpux | proofd | 1 | 159 |
| linux | proofd | 1 | 155 |
| centos | proofserv | 1 | 153 |
| php | proofserv | 1 | 152 |
| centos | proof | 1 | 146 |
| v7 | proofserv | 1 | 141 |
| sunos | proofd | 1 | 138 |
| osf1 | proof | 1 | 136 |
| centos | proofd | 1 | 135 |
| redhat | proofd | 1 | 134 |
| xfree86 | proofserv | 1 | 131 |
| redhat | proof | 1 | 129 |
| minix | proofd | 1 | 129 |
| opendarwin | proofd | 1 | 128 |
| posix | proof | 1 | 127 |
| mojave | proofd | 1 | 127 |
| opensolaris | proofd | 1 | 126 |
| osx | proofd | 1 | 125 |
| freebsd | krb5_checksum_is_collision_proof | 3 | 124 |
| php | proofd | 1 | 120 |
| ultrix | proof | 1 | 120 |
| v7 | proofd | 1 | 119 |
| debian | prooftrans | 1 | 116 |