MetaPRL logical programming environment
Library Home || Full Table of Contents || Library Help
|Hickey, Nogin, et al.|
|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).|
|Resource Types:||Topic Tools Miscellaneous|
|Math Topics:||Logic/Foundations, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.