devel.isa-afp.org
devel.isa-afp.org is a live English-language website hosted on Technical University of Munich (AS209335) in Germany, served by Caddy. cl0q first saw it on 2026-06-19 and last crawled it on 2026-11-03. It resolves to 131.159.46.158. 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
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-19 |
| Last crawled | 2026-11-03 |
| IPv4 | 131.159.46.158 |
| IPv6 | 2a09:80c0:46::158 |
| Network | AS209335 Technical University of Munich · Germany |
| CNAME | isa-afp.org |
| Language | en |
| Server | Caddy |
Explore more like this
More sites on Technical University of Munich
Sites sharing this favicon
Get this data at scale
This dossier is one domain from cl0q's index. Query the same live index through the API, or download the censuses built from it.
- API credit pack — 100,000 lookups against the live index, no subscription, at 30 lookups a minute.
- Server Tech Census — one row per domain: server, language and CDN flag.