Science Central - All about Science

Saturday, 21 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Computational Logic UPDATE URL | REPORT BROKEN LINK

MetaPRL logical programming environment

 Popularity:    Hit: 304 | Visit: 2
Details
The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and logics are developed as modules that define computational, heuristic, and mathematical properties. 2) Speed. MetaPRL is more than two orders of magnitude faster than NuPrl.

Sponsored Links:


URL:
Title: MetaPRL Proof Assistant and Logical Programming Environment
Description:

Category:


Related sites
Dual Identity Combinators (Popularity: ): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition ...
Kolmogorov Complexity in Combinatory Logic (Popularity: ): Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
Lambda (Popularity: ): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form ...
Perl Contains the Lambda-Calculus (Popularity: ): Explains why this computer program is well suited to apply to functional application.
Automated Reasoning (Popularity: ): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic ...
The LEGO Proof Assistant (Popularity: ): A powerful tool for interactive proof development in the natural deduction style. It supports refinement ...
Alfa (Popularity: ): A successor to the proof editor Alf with a graphical user interface, being developed at ...
NuPrl Proof Development System (Popularity: ): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures ...
Proof General (Popularity: ): Emacs based generic interface for theorem provers.
Kumo (Popularity: ): A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 ...

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact