zenon-prover.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        The Zenon automatic theorem                        
                    

                    

                        Description
                                                        Zenon is work in progress. There is no documentation yet, but the source code is available. Publications Zenon : An Extensible Automated Theorem Prover Pr                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        zenon-prover faviconzenon-prover.org                            
                        
                    

                    

                        Host IP
                        128.93.101.147                        
                    

                    

                        Location
                        France                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
zenon-prover.org Valuation

                

                    

                        
                            

                                
US$1,194                                

                                

                                
                                

                                    Last updated: 2022-07-25 08:39:18                                    
                                

                            

                            
zenon-prover.org has Semrush global rank of 0. zenon-prover.org has an estimated worth of US$ 1,194, based on its estimated Ads revenue. zenon-prover.org receives approximately 137 unique visitors each day. Its web server is located in France, with IP address 128.93.101.147. According to SiteAdvisor, zenon-prover.org is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$1,194                            
                    

                    

                        Daily Ads Revenue
                        US$1                            
                    

                    

                        Monthly Ads Revenue
                        US$33                            
                    

                    

                        Yearly Ads Revenue
                        US$396                            
                    

                    

                        Daily Unique Visitors
                        9
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        zenon-prover.org.                        
                        A
                        
                        86400                        
                        IP: 128.93.101.147                        
                    

                                                                                

                        zenon-prover.org.                        
                        NS
                        
                        10800                        
                        NS Record: c.dns.gandi.net.                        
                    

                                        

                        zenon-prover.org.                        
                        NS
                        
                        10800                        
                        NS Record: b.dns.gandi.net.                        
                    

                                        

                        zenon-prover.org.                        
                        NS
                        
                        10800                        
                        NS Record: a.dns.gandi.net.                        
                    

                                                            
                

                
                                
HtmlToTextCheckTime:2022-07-25 08:39:18

                

                    

                        
                            Zenon is work in progress. There is no documentation yet, but the source code is available. Publications Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs R. Bonichon, D. Delahaye and D. Doligez, LPAR 2007 pdf , BibTeX Source Code Zenon is available under the New BSD license . To clone the current Zenon git (from github ) type this in a command prompt: git clone https://github.com/zenon-prover/zenon.git version 0.8.4 (2018-09-18): gzip version 0.8.2 (2016-06-06): gzip version 0.8.1 (2016-05-31): gzip version 0.8.0 (2014-10-21): gzip version 0.7.1 (2012-05-09): gzip ; xzip version 0.6.3 (2010-02-19): gzip ; bzip2 version 0.5.0 (2007-08-02): gzip ; bzip2 version 0.4.1 (2006-03-01): gzip ; bzip2 E-mail contact: zenon.prover at                            
                        
                    

                

                
                
                
                                
zenon-prover.org Whois Information

                

                    

                        
                            
Domain Name: ZENON-PROVER.ORG
Registry Domain ID: D156594990-LROR
Registrar WHOIS Server: whois.gandi.net
Registrar URL: http://www.gandi.net
Updated Date: 2021-06-07T13:58:53Z
Creation Date: 2009-07-07T11:12:41Z
Registry Expiry Date: 2025-07-07T11:12:41Z
Registrar: Gandi SAS
Registrar IANA ID: 81
Registrar Abuse Contact Email: abuse@support.gandi.net
Registrar Abuse Contact Phone: +33.170377661
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Country: FR
Name Server: C.DNS.GANDI.NET
Name Server: B.DNS.GANDI.NET
Name Server: A.DNS.GANDI.NET
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-11-16T09:41:10Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0246