Testing Proofs by Examples
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