wrenna.dev
wrenna.dev is a live English-language website hosted on Mythic Beasts Ltd (AS44684) in the United Kingdom, served by Apache. cl0q first saw it on 2026-07-30 and last crawled it on 2026-08-05. It resolves to 176.126.241.215 and has mail (MX) records set up.
How the site describes itself:
Wrenna Robson
Wrenna Robson, formal-verification researcher at the University of Bristol, working on machine-checked proofs and theorem proving in Lean 4.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-30 |
| Last crawled | 2026-08-05 |
| IPv4 | 176.126.241.215 |
| IPv6 | 2a00:1098:1::54 |
| Network | AS44684 Mythic Beasts Ltd · England |
| Mail (MX) | mail.protonmail.ch,mailsec.protonmail.ch |
| Language | en |
| Server | Apache/2.4.68 (Debian) |