Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: |
Title | HOL Interactive Theorem |
Description | About HOL Interactive Theorem Prover Latest : kananaskis-14 released (see release notes for details). About Download and Install Tutorial and Documentation Comm |
Keywords | N/A |
WebSite | hol-theorem-prover.org |
Host IP | 176.58.119.245 |
Location | United Kingdom |
Site | Rank |
US$16,838,488
Last updated: 2023-05-12 14:04:35
hol-theorem-prover.org has Semrush global rank of 628,578. hol-theorem-prover.org has an estimated worth of US$ 16,838,488, based on its estimated Ads revenue. hol-theorem-prover.org receives approximately 1,942,903 unique visitors each day. Its web server is located in United Kingdom, with IP address 176.58.119.245. According to SiteAdvisor, hol-theorem-prover.org is safe to visit. |
Purchase/Sale Value | US$16,838,488 |
Daily Ads Revenue | US$15,544 |
Monthly Ads Revenue | US$466,297 |
Yearly Ads Revenue | US$5,595,560 |
Daily Unique Visitors | 129,527 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
hol-theorem-prover.org. | A | 3598 | IP: 176.58.119.245 |
hol-theorem-prover.org. | AAAA | 3599 | IPV6: 2a01:7e00::f03c:91ff:feae:46a9 |
hol-theorem-prover.org. | NS | 3600 | NS Record: ns1.afraid.org. |
hol-theorem-prover.org. | NS | 3600 | NS Record: ns4.afraid.org. |
hol-theorem-prover.org. | NS | 3600 | NS Record: ns3.afraid.org. |
hol-theorem-prover.org. | NS | 3600 | NS Record: ns2.afraid.org. |
hol-theorem-prover.org. | TXT | 3600 | TXT Record: v=spf1 -all |
HOL Interactive Theorem Prover Latest : kananaskis-14 released (see release notes for details). About Download and Install Tutorial and Documentation Community About What is HOL? The HOL interactive theorem prover is a proof assistant for higher-order logic: a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems (users may have to prove the hard theorems themselves!) An oracle mechanism gives access to external programs such as SMT and BDD engines. HOL is particularly suitable as a platform for implementing combinations of deduction, execution and property checking. Other HOLs are described elsewhere. HOL is free software, released under the Modified (3-clause) BSD licence . New developers are welcome. History During the last 30 years there have been several widely used versions of the HOL system: HOL88 from Cambridge; HOL90 from Calgary and Bell Labs; |
HTTP/1.1 301 Moved Permanently Location: https://hol-theorem-prover.org/ Date: Sun, 19 Dec 2021 10:06:32 GMT Server: lighttpd/1.4.63 HTTP/2 200 content-type: text/html; charset=utf-8 etag: "2708126672" last-modified: Fri, 14 May 2021 08:03:18 GMT content-length: 12883 accept-ranges: bytes date: Sun, 19 Dec 2021 10:06:32 GMT server: lighttpd/1.4.63 |
Domain Name: HOL-THEOREM-PROVER.ORG Registry Domain ID: D177015545-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2021-08-02T09:12:41Z Creation Date: 2015-08-03T08:04:17Z Registry Expiry Date: 2022-08-03T08:04:17Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: Contact Privacy Inc. Customer 0140912443 Registrant State/Province: ON Registrant Country: CA Name Server: NS1.AFRAID.ORG Name Server: NS2.AFRAID.ORG Name Server: NS3.AFRAID.ORG Name Server: NS4.AFRAID.ORG DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-23T12:04:56Z <<< |