An experiment concerning mathematical proofs on computers with French undergraduate students

International audienceWe describe our experience of using PhoX (the prover of C Raffalli) with undergraduate students in mathematic (in third year) to help them to do correct proofs. They proved, among other things, Heine's theorem