twelf.org
twelf.org is a live English-language website hosted on Render (AS397273) in the United States, served by Cloudflare. cl0q first saw it on 2026-06-16 and last crawled it on 2026-07-07. It resolves to 216.24.57.1. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
The Twelf Programming Language and Theorem Prover
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-16 |
| Last crawled | 2026-07-07 |
| IPv4 | 216.24.57.1 |
| Network | AS397273 Render · California |
| Language | en |
| Server | cloudflare |