Autor Tema: Programa Isabelle HOL (ii)

0 Usuarios y 1 Visitante están viendo este tema.

07 Abril, 2021, 09:01 pm
Leído 263 veces

Bobby Fischer

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 646
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
    • chess.com
Hola,

¿Algún sitio donde venga un listado exhaustivo de todas las reglas de Isabelle?
¿Cómo sé yo que la regla de eliminación de la doble negación está en 'Main' y se llama 'notnotD' y sin embargo la regla de introducción de la doble negación no está y debo definirla?

Gracias,

Saludos.