Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: /images Disallow: /distributions Disallow: |
Title | Abella |
Description | Description Description Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory |
Keywords | N/A |
WebSite | abella-prover.org |
Host IP | 208.113.172.126 |
Location | United States |
Site | Rank |
US$5,280,519
Last updated: 2023-05-13 01:18:47
abella-prover.org has Semrush global rank of 2,004,406. abella-prover.org has an estimated worth of US$ 5,280,519, based on its estimated Ads revenue. abella-prover.org receives approximately 609,291 unique visitors each day. Its web server is located in United States, with IP address 208.113.172.126. According to SiteAdvisor, abella-prover.org is safe to visit. |
Purchase/Sale Value | US$5,280,519 |
Daily Ads Revenue | US$4,875 |
Monthly Ads Revenue | US$146,230 |
Yearly Ads Revenue | US$1,754,757 |
Daily Unique Visitors | 40,620 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
abella-prover.org. | A | 899 | IP: 208.113.172.126 |
abella-prover.org. | NS | 14400 | NS Record: ns3.dreamhost.com. |
abella-prover.org. | NS | 14400 | NS Record: ns1.dreamhost.com. |
abella-prover.org. | NS | 14400 | NS Record: ns2.dreamhost.com. |
abella-prover.org. | MX | 900 | MX Record: 0 mx1.dreamhost.com. |
abella-prover.org. | MX | 900 | MX Record: 0 mx2.dreamhost.com. |
abella-prover.org. | TXT | 900 | TXT Record: v=spf1 mx include:netblocks.dreamhost.com include:relay.mailchannels.net -all |
Description Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding. For example, the following applications are included in the distribution of Abella. Various results on the lambda calculus involving big-step evaluation, small-step evaluation, and typing judgments Cut-admissibility for a sequent calculus Part 1a and Part 2a of the POPLmark challenge Takahashi’s proof of the Church-Rosser theorem Tait’s logical relations argument for weak normalization of the simply-typed lambda calculus Girard’s proof of strong normalization of the simply-typed lambda calculus Some π-calculus meta-theory Relation between β-reduction and paths in λ-calculus Consult the full list of examples for more details. Abella uses a two-level logic approach to reasoning. Specifications are made in the logic of second-order hereditary |
HTTP/1.1 200 OK Date: Mon, 20 Dec 2021 09:52:09 GMT Server: Apache Upgrade: h2 Connection: Upgrade Last-Modified: Thu, 28 Jan 2021 05:40:26 GMT ETag: "4514-5b9ef531cb1d9" Accept-Ranges: bytes Content-Length: 17684 Cache-Control: max-age=600 Expires: Mon, 20 Dec 2021 10:02:09 GMT Vary: Accept-Encoding,User-Agent Content-Type: text/html |
Domain Name: ABELLA-PROVER.ORG Registry Domain ID: D166950187-LROR Registrar WHOIS Server: whois.google.com Registrar URL: https://domains.google.com Updated Date: 2021-12-01T00:20:13Z Creation Date: 2012-10-25T16:09:38Z Registry Expiry Date: 2022-10-25T16:09:38Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Contact Privacy Inc. Customer 12411201174 Registrant State/Province: ON Registrant Country: CA Name Server: NS1.DREAMHOST.COM Name Server: NS2.DREAMHOST.COM Name Server: NS3.DREAMHOST.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-24T07:00:01Z <<< |