Sharing Formal Mathematics and Programming

Jason Hickey


February, 1997