.
FRDCSA | external codebases | imps-2.0
Homepage

[Project image]
imps-2.0

Jump to: Project Description

Project Description

IMPS is an Interactive Mathematical Proof System developed at The MITRE Corporation.


This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:26 EDT 2019 .