Jørgen Villadsen

ProofBuddy aide les étudiants à maîtriser les compétences en preuve mathématique en utilisant l'assistant de preuve Isabelle.

Une approche claire pour apprendre la logique d'ordre supérieur avec Isabelle pour les débutants.