Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

MetaPRL logical programming environment

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://cvs.metaprl.org:12000/metaprl/

Author:Hickey, Nogin, et al.
Description: The next generation of the NuPrl proof development system. MetaPRL is two things: it is a logical framework where multiple logics can be defined and related, and it is a system implementation with support for interactive proof and automated reasoning. The main new features of MetaPRL include modularity (programs and logics are developed as modules that define computational, heuristic, and mathematical properties); and speed (MetaPRL is more that two orders of magnitude faster than NuPrl).

Levels: College
Languages: English
Resource Types: Topic Tools Miscellaneous
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.