Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | IsarMathLib |
Description | IsarMathLib Proofs by humans, for humans, formally verified by Isabelle/ZF proof assistant About this site This site is an experimental HTML rendering of |
Keywords | N/A |
WebSite | isarmathlib.org |
Host IP | 87.98.239.87 |
Location | France |
Site | Rank |
US$357,385
Last updated: 2023-05-19 11:02:10
isarmathlib.org has Semrush global rank of 29,616,024. isarmathlib.org has an estimated worth of US$ 357,385, based on its estimated Ads revenue. isarmathlib.org receives approximately 41,237 unique visitors each day. Its web server is located in France, with IP address 87.98.239.87. According to SiteAdvisor, isarmathlib.org is safe to visit. |
Purchase/Sale Value | US$357,385 |
Daily Ads Revenue | US$330 |
Monthly Ads Revenue | US$9,897 |
Yearly Ads Revenue | US$118,762 |
Daily Unique Visitors | 2,750 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
isarmathlib.org. | A | 7199 | IP: 87.98.239.87 |
isarmathlib.org. | NS | 21600 | NS Record: dns102.ovh.net. |
isarmathlib.org. | NS | 21600 | NS Record: ns102.ovh.net. |
isarmathlib.org. | MX | 21600 | MX Record: 1 mx1.ovh.net. |
isarmathlib.org. | MX | 21600 | MX Record: 5 mx2.ovh.net. |
isarmathlib.org. | MX | 21600 | MX Record: 100 mxb.ovh.net. |
isarmathlib.org. | TXT | 600 | TXT Record: v=spf1 include:mx.ovh.com ~all |
IsarMathLib Proofs by humans, for humans, formally verified by Isabelle/ZF proof assistant About this site This site is an experimental HTML rendering of fragments of the IsarMathLib project. IsarMathLib is a library of mathematical proofs formally verified by the Isabelle theorem proving environment. The formalization is based on the Zermelo-Fraenkel set theory. The Introduction provides more information about IsarMathLib. The software for exporting Isabelle’s Isar language to HTML markup is at an early beta stage, so some proofs may be rendered incorrectly. In case of doubts, compare with the Isabelle generated HTML presentation , the proof document or directly the theory sources . Mathematical notation on this site is rendered by MathJax . MathJax is an implementation of TeX layout algorithms in JavaScript. After loading a page you may see the LaTeX markup instead of mathematical notation for a second or two before MathJax script renders the math symbols. About this site |
HTTP/1.1 302 Found date: Thu, 29 Sep 2022 09:01:47 GMT content-type: text/html; charset=iso-8859-1 server: Apache location: https://isarmathlib.org/ x-iplb-request-id: 416C4831:95C0_5762EF57:0050_63355EFB_4643:119EF x-iplb-instance: 29653 HTTP/2 200 date: Thu, 29 Sep 2022 09:01:48 GMT content-type: text/html content-length: 7292 server: Apache accept-ranges: bytes vary: Accept-Encoding |
Domain Name: isarmathlib.org Registry Domain ID: 309a00a5fea343b9a0667a7aa5aec395-LROR Registrar WHOIS Server: http://whois.ovh.com Registrar URL: http://www.ovh.com Updated Date: 2021-02-12T19:30:11Z Creation Date: 2009-02-26T00:46:05Z Registry Expiry Date: 2024-02-26T00:46:05Z Registrar: OVH Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Country: PL Name Server: dns102.ovh.net Name Server: ns102.ovh.net DNSSEC: unsigned >>> Last update of WHOIS database: 2022-09-29T09:08:26Z <<< |