You are here: Webwiki > nuprl.org

Nuprl.org - PRL Project Home - Proofs as Programs (No review yet)

Goto Nuprl.org
Popularity:

Language: english

implementing computational mathematics and providing logic-based tools that help automate programming

Keywords: Proof Logic Computer Science Type Theory Programming Formal Mathematics Nuprl Distributed Systems Set Program Synthesis


Reviews and ratings of Nuprl.org

There are no reviews yet.

Content and keywords

Important and popular websites

The website with the homepage "Prl Project" provides content on the pages Search Nuprl, Introduction What Is The Prl Project About? and Math Library Hundreds Of Theorems Proved In The Nuprl Proof Development System.. In the following table you'll find the 10 most important pages of Nuprl.org:

# Description URL of the website
1. PRL Pro­ject http://www.nuprl.org
2. Search Nuprl /search.php
3. Intro­duction What is the PRL pro­ject a­bout? /Intro/intro.html
4. Math Lib­rary Hundreds of theo­rems pro­ved in the Nuprl proof deve­lop­ment system. /MathLib­rary/
5. Pub­lica­tions Ar­ticles and pa­pers in PDF ps and html ver­sions. /Pub­lica­tions/
6. System Nuprl System access user documen­ta­tion and up­da­tes. /html/NuprlSystem.html
7. Peop­le Fa­culty re­search staff stu­dents and a­lum­ni of the pro­ject. /html/People.html
8. The Book Imple­men­ting Mat­hema­tics with the Nuprl Proof Deve­lop­ment system. /book/
9. Skip to main con­tent http://nuprl.org#con­tent
10. A For­mal Explora­tion of Constructi­ve Geo­metry /MathLib­rary/geo­metry

Information about Nuprl.org on Wikipedia the free encyclopedia: In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. read more

Technical information

The web server used by Nuprl.org is run by Cornell University and is located in Ithaca, USA. The server runs exclusively the website Nuprl.org.

A Apache server hosts the websites of Nuprl.org. XHTML 1.0 Transitional is used as markup language on the webpages. 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:128.253.51.185
Server provider:Cornell University

Technical information about the technology of the website

Webserver software: Apache, Version 2.2.3
Operating system: Red Hat (Linux)
Load time: 0.34 seconds (faster than 79 % of all websites)
HTML version:XHTML 1.0 Transitional
Filesize:9.33 KB (168 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
 USA, Ithaca
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!

Similar websites

  • Arxiv.org - Ar­Xiv.org e-Print archi­ve

  • Arachnoid.com - * a­rachnoid.com

  • Mtu.edu - Michi­gan Technologi­cal Uni­ver­sity

  • Pcmag.com - PCMag.com - Techno­logy Pro­duct Re­views, News, Pri­ces & ..

  • Sciencedaily.com - Scien­ceDaily: Your sour­ce for the la­test re­search news