Proof style
By: by John Harrison.
Contributors: University of Cambridge. Computer Laboratory.
Series: Technical report - University of Cambridge Computer Laboratory -- no.410
Publisher: University of Cambridge, Computer Laboratory
Published: 1997
Language: eng
Number of pages: 22
Subjects: Automatic theorem proving.