Visible to the public The Mechanically Verified Stack Challenge

File Details
Contributor(s): 
J. Strother Moore
License: 
Creative Commons 2.5

Other available formats:

The Mechanically Verified Stack Challenge
Switch to experimental viewer