Programmes par lurch.sf.net

Logiciel pour l’enseignement et l’apprentissage des preuves mathématiquesLà où la plupart des logiciels de preuve mathématique se concentre sur la logique formelle (ou un autre domaine spécialisé des mathématiques), Lurch v