GitHub repository: sofsanfer/TFG
Primary language: Isabelle
Created: 2019-10-24T16:12:38Z
Description: Elementos de la lógica proposicional formalizados en Isabelle/HOL