Testing Proofs by Examples
- 125 Downloads
We will present the project of proof animation, which started last April. The motivations, aims, and problems of the proof animation will be presented. We will also make a demo of ProofWorks, a small prototype tool for proof animation
Unable to display preview. Download preview PDF.
- 2.Hayashi, S. and Nakano, H.: PX: A Computational Logic, The MIT Press, 1988Google Scholar
- 3.Kripke, S.: Wittgenstein on Rules and Private Language, Harvard University Press, Cambridge, Massachusetts, 1982Google Scholar
- 4.Sumitomo, R.: Proof Works: An Environment for Animation of Proofs, Master thesis, Graduate School of Science and Technology, Kobe University, 1997.Google Scholar