http://www.ioe.ac.uk/proof/

http://www.cas.ilstu.edu/proofproject/webpage/

http://fcis.oise.utoronto.ca/~ghanna/mainedu.html

http://www.lettredelapreuve.it/

http://www-didactique.imag.fr/Balacheff/