Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | AlternateFace |
Description | Prove Theorems Without This project is under active development. It isn’t ready to use yet. Prove Theorems Without Fear AlternateFace is a fast and gorgeous interactive theorem |
Keywords | N/A |
WebSite | alternateface.com |
Host IP | 75.2.60.5 |
Location | United States |
Site | Rank |
US$1,124
Last updated: 2022-10-06 01:25:30
alternateface.com has Semrush global rank of 0. alternateface.com has an estimated worth of US$ 1,124, based on its estimated Ads revenue. alternateface.com receives approximately 129 unique visitors each day. Its web server is located in United States, with IP address 75.2.60.5. According to SiteAdvisor, alternateface.com is safe to visit. |
Purchase/Sale Value | US$1,124 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$31 |
Yearly Ads Revenue | US$373 |
Daily Unique Visitors | 8 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
alternateface.com. | A | 3600 | IP: 75.2.60.5 |
alternateface.com. | NS | 21600 | NS Record: ns-cloud-b1.googledomains.com. |
alternateface.com. | NS | 21600 | NS Record: ns-cloud-b4.googledomains.com. |
alternateface.com. | NS | 21600 | NS Record: ns-cloud-b3.googledomains.com. |
alternateface.com. | NS | 21600 | NS Record: ns-cloud-b2.googledomains.com. |
This project is under active development. It isn’t ready to use yet. Prove Theorems Without Fear AlternateFace is a fast and gorgeous interactive theorem prover. GitHub Beautiful and usable interface Current interactive theorem provers are made for researchers, not ordinary people. Similar to other theorem provers, AlternateFace also uses a solid logical foundation but the interface is simplified and carefully designed for normal people with no formal training. Much faster Unlike other theorem provers, AlternateFace is centralized. Most processing is done on powerful servers, not your own machine. This approach enables us to perform more optimizations than other theorem provers can do. Open source Trustworthy and reliable theorem provers such as Lean, Coq and Isabelle are open source. AlternateFace is open source too. You can read our source code to be sure of AlternateFace’s |
HTTP/1.1 301 Moved Permanently cache-control: public, max-age=0, must-revalidate content-length: 41 content-type: text/plain date: Tue, 25 Jan 2022 12:13:34 GMT x-nf-request-id: 01FT8JFNY8Q177HZQ8XXGVMQBB location: https://alternateface.com/ server: Netlify age: 0 HTTP/2 200 cache-control: public, max-age=0, must-revalidate content-type: text/html; charset=UTF-8 date: Tue, 25 Jan 2022 12:13:34 GMT etag: "b88ca15873774eef7fb0094b2943320e-ssl" strict-transport-security: max-age=31536000 server: Netlify age: 2 x-nf-request-id: 01FT8JFP9RA5V1HREXFFNH05TK |
Domain Name: ALTERNATEFACE.COM Registry Domain ID: 2670482615_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2022-01-24T10:36:17Z Creation Date: 2022-01-24T08:36:19Z Registry Expiry Date: 2023-01-24T08:36:19Z 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 Name Server: NS-CLOUD-B1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-B2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-B3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-B4.GOOGLEDOMAINS.COM DNSSEC: unsigned >>> Last update of whois database: 2022-01-25T08:11:30Z <<< |