Towards the animation of proofs - testing proofs by examples

Cite this paper

@article{Hayashi2002TowardsTA, title={Towards the animation of proofs - testing proofs by examples}, author={Susumu Hayashi and Ryosuke Sumitomo and Ken-ichiro Shii}, journal={Theor. Comput. Sci.}, year={2002}, volume={272}, pages={177-195} }