GitHub repository: Carnunfer/TFG
Primary language: Isabelle
Created: 2019-10-16T10:23:30Z
Description: Elementos de matemáticas formalizados en Isabelle/HOL