You are here: Webwiki > isa-afp.org

Isa-afp.org - Archive of Formal Proofs (No review yet)

Goto Isa-afp.org

Update profile
Report link

Popularity:

Language: english

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.

Keywords: numbers sep formal theorem proof isabelle

Reviews and ratings of Isa-afp.org

There are no reviews yet.

Content / Keywords
Technical

Content and keywords

Important and popular websites

Important pages are Topics, Download and Help. In the following table you'll find the 10 most important pages of Isa-afp.org:

#	Description	URL of the website
1.	Topics	/topics/
2.	Download	/download/
3.	Help	/help/
4.	Submission	/submission/
5.	Statistics	/statistics/
6.	About	/about/
7.	Formal Proof of Dilworths Theorem	/entries/Dilworth.html
8.	Vivek Soorya Maadoori	/authors/maadoori/
9.	Syed Mohammad Meesum	/authors/meesum/
10.	Shiv Pillai	/authors/pillai/

Technical information

The web server used by Isa-afp.org is run by Technische Universitaet Muenchen and is located in Garching bei Munchen, Germany. The server runs exclusively the website Isa-afp.org.

A Apache server hosts the websites of Isa-afp.org. The website uses the latest markup standard HTML 5. The website does not specify details about the inclusion of its content in search engines. For this reason the content will be included by search engines.

Information about the server of the website

IP address:	131.159.47.3
Server provider:	Technische Universitaet Muenchen

Technical information about the technology of the website

Webserver software:	Apache, Version 2.4.29
Operating system:	Ubuntu (Linux)
Generator:	Hugo 0.142.0
Load time:	0.1 seconds (faster than 98 % of all websites)
HTML version:	HTML 5
Filesize:	387.86 KB (10084 recognized words in text)

Safety and classification

The website doesn't contain questionable content. It can be used by kids and is safe for work.

Attribute	Classification
Google Safebrowsing	Safe
Safe for children	100%
Safe for work	100%
Webwiki rating	No ratings
Server location	Germany, Garching bei Munchen
Trustworthy 85%

Disclaimer: The classification is based on the automatic analysis of public information, ratings and customer reviews. All information is provided without warranty.

For webmasters:
Add a Webwiki button with the current rating to your website!

Webwiki Buttons

Similar websites

Cnda.co.uk - RMI Cherished Numbers Dealers Association
Democraticunderground.com - Democratic Underground: Forums for U.S. Liberals and ..
Shopperapproved.com - Ecommerce growth tools by Shopper Approved
Thepiratescove.us - Pirate's Cove - If we don't believe in freedom of ..