Verifying textbook proofs (1998)

by C Zinn
Venue:Technische Universit├Ąt