Home page: http://imps.mcmaster.ca/
Overview: http://web.cs.wpi.edu/~guttman/pubs/imps-overview.pdf
Repository: https://github.com/theoremprover-museum/imps
Theorem Provers
IMPS
IMPS is an Interactive Mathematical Proof System developed by W. M. Farmer, J. D. Guttman, and F. J. Thayer at The MITRE Corporation during 1990-1993. It is intended to provide mechanical support for traditional mathematical techniques and styles of practice. The system consists of a library of mathematics plus facilities for developing axiomatic theories, proving conjectures, and performing rigorous symbolic computations. It is available under a BSD-like free license.
Theorem Provers
Theorem Provers