adam.math.hhu.de
Lean Game Server
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-21 |
| Last crawled | 2026-06-16 |
| IPv4 | 134.99.156.253 |
| Network | AS680 Verein zur Foerderung eines Deutschen Forschungsnetzes e.V. · Germany |
| CNAME | adam.math.hhu.de |
| Server | nginx/1.18.0 (Ubuntu) |