
proof.sty, for typesetting proof treesproof.styotter theorem proving system
otter (Due Monday, April 30)

This page copyright ©2001 by Joshua S. Hodas. It was built with on a Macintosh. Last modified on Tuesday, April 17, 2001 | |
http://www.cs.hmc.edu/courses/spring/cs80/index.html | |