![](http://www.img-urlm.com/i/leancop.de.jpg)
Leancop.de
Leancop is ranked 9,525,339 in the United States. 'leanCoP: Lean Connection-Based Theorem Proving.'
9,525,339Rank in United States
--Worldwide Rank
Monthly pages viewed | < 300 | |
Monthly visits | < 300 | |
Value per visitor | -- | |
Estimated worth | $784.09 | |
External links | 15 | |
Number of pages | -- |
Last Updated: 04/15/2018 . Estimated data, read disclaimer.
Content
www.Leancop.de
Topics: Download, Ileancop, and Documentation.
Links- Links out
- python.org Python Programming Language – Official Website
- springer.com Lecture Notes in Computer Science (LNCS) - Springer
- uni-potsdam.de Universität Potsdam
Server Location | |
Strato Rechenzentrum Berlin Berlin Berlin Germany 52.52, 13.4 |
It is hosted by Strato Rechenzentrum Berlin (Berlin, Berlin,) using Apache/2 web server. It has 2 DNS records, docks02.rzone.de, and shades01.rzone.de. Its local IP address is 81.169.145.75.
IP: 81.169.145.75
Web Server: Apache/2
Encoding: iso-8859-1
PING www. (81.169.145.75) 56(84) bytes of data. | |
64 bytes from w0b.rzone.de (81.169.145.75): icmp_seq=1 ttl=245 | 127 ms |
64 bytes from w0b.rzone.de (81.169.145.75): icmp_seq=2 ttl=245 | 123 ms |
64 bytes from w0b.rzone.de (81.169.145.75): icmp_seq=3 ttl=245 | 123 ms |
--- www. ping statistics --- | |
3 packets transmitted, 3 received, 0% packet loss, time 1998ms | |
rtt min/avg/max/mdev = 123.289/124.845/127.955/2.236 ms | |
rtt min/avg/max/mdev = 123.289/124.845/127.955/2.236 ms |
A ping speed test response, is timed at 127 ms.
Server Setup | |
Date: | -- |
---|---|
Server: | Apache/2.2.21 (Unix) mod_ssl/2.2.21 OpenSSL/0.9.8r |
Last-Modified: | -- |
ETag: | "6ac1539-2d33-496fe30c293b5" |
Accept-Ranges: | bytes |
Content-Length: | 11571 |
Content-Type: | text/html |