Classical tautologies have well-defined computational content via continuation-passing style and cal...
This proposition has not been edited since the history system was added.