You are here: Webwiki > - PRL Project Home - Proofs as Programs (No review yet)


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

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

# Description URL of the website
1. PRL Pro­ject
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­tent
10. A For­mal Explora­tion of Constructi­ve Geo­metry /MathLib­rary/geo­metry

Information about 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 is run by Cornell University and is located in Ithaca, USA. The server runs exclusively the website

A Apache server hosts the websites of 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:
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 for children
Safe for work
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

  • - Ar­ e-Print archi­ve

  • - * a­

  • - Michi­gan Technologi­cal Uni­ver­sity

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

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