Notas etiquetadas con Isabelle

• Demostración asistida: Todo número natural compuesto n tiene un divisor primo menor o igual que sqrt(n)

   Lógica, Matemática Deducción Natural Isabelle Isar