Lurch 0.4
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Lurch
Logiciel pour l’enseignement et l’apprentissage des preuves mathématiques Là 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 vise à être vraiment polyvalent, avec une interface utilisateur attracitve.