MetaPRL
The MetaPRL system combines the properties of an interactive LCF-style tactic-based proof assistant, a logical framework, a logical programming environment, and a formal methods programming toolkit.
[ Homepage ]
| Author: | Aleksey Nogin and Jason Hickey. |
| Last modification date: | 16-Feb-2004 |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: GPL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://metaprl.org/ |