## Checking Textbook Proofs (1998)

### View PDF

### Download Links

by
Claus Zinn

Venue: | Int. Workshop on FirstOrder Theorem Proving (FTP'98), Technical Report E1852-GS-981 |