afp.sourceforge.net
afp.sourceforge.net is a live English-language website hosted on Cloudflare, Inc. (AS13335) in the United States, served by Cloudflare. cl0q first saw it on 2026-06-24 and last crawled it on 2026-07-14. It resolves to 104.18.12.149 and has mail (MX) records set up. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Archive of Formal Proofs download | SourceForge.net
Download Archive of Formal Proofs for free. A collection of machine-checkend mathematical proofs. The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-24 |
| Last crawled | 2026-07-14 |
| IPv4 | 104.18.12.149 |
| IPv6 | 2606:4700::6812:c95 |
| Network | AS13335 Cloudflare, Inc. · California |
| CNAME | projects.sourceforge.net.cdn.cloudflare.net |
| Mail (MX) | mx.sourceforge.net |
| Language | en |
| Server | cloudflare |