Programmi di lurch.sf.net

Software per l'insegnamento e l'apprendimento di dimostrazioni matematicheDove la maggior parte dei software di dimostrazione matematica si concentra sulla logica formale (o su qualche altra area specialistica della matemat