coreact.wiki
coreact.wiki is a live English-language website hosted on Google LLC (AS396982) in the United States. cl0q first saw it on 2026-07-23 and last crawled it on 2026-07-28. It resolves to 35.185.44.232 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:
ANR CoREACT
ANR project CoREACT - Coq-based Rewriting: Towards Executable Applied Category Theory
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-23 |
| Last crawled | 2026-07-28 |
| IPv4 | 35.185.44.232 |
| Network | AS396982 Google LLC · South Carolina |
| Mail (MX) | eforward2.registrar-servers.com,eforward3.registrar-servers.com,eforward1.registrar-servers.com,eforward4.registrar-servers.com,eforward5.registrar-servers.com |
| Language | en-us |