MetaPRL Logo

License
System Goals
People
Links
Papers
Download
System description
Refiner
Compiler
Dist prover
Proof caching
Tactics
OCaml
Base logic
Type Theory
Editor
Logical Framework
User guide
Tutorial
Developer guide