ProveEasy: helping people learn to do proofs

Rod M. Burstall. ProveEasy: helping people learn to do proofs. Theoretical Computer Science, 31:16-32, 2000. [doi]

Abstract

Abstract is missing.