#### DMCA

## IMPS: An Interactive Mathematical Proof System (1993)

### Cached

### Download Links

- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- [web.cs.wpi.edu]
- [web.cs.wpi.edu]
- DBLP

### Other Repositories/Bibliography

by
William M. Farmer
,
Joshua D. Guttman
,
F. Javier Thayer

Venue: | Journal of Automated Reasoning |

Citations: | 87 - 21 self |