Pinned Loading

1. Reglas de inferencia para la deducci... Reglas de inferencia para la deducción natural en lógica proposicional

   1

   #### Reglas de prueba

   2

   3

   ##### Axioma

   4

   5

   $$ \frac{}{\tau \vdash \tau} \small{ax} $$

2. notas de calculo lambda.md notas de calculo lambda.md

   1

   Este es un apunte de varios libros de la bibliografía de la materia. La primera parte es de "The Implementation of Functional Programming Languages"[1], despues hay una equivalencia con las propiedades de "Introduction to the Theory of Programming Languages"[2] y por último la parte de tipos y semántica es del "Apunte de las clases de cálculo lambda"[3] y de [2]. 

   2

   La última parte (interpretación y semantica denotacional) está un poco incompleta asi que se agradece cualquier contribución.

   3

   4

   ## Cálculo lambda

   5

3. machine-learning-notes machine-learning-notes Public

   mis notebooks de "Fundamentals of Machine Learning for Software Engineers" de educative.io

   Jupyter Notebook

4. geo geo Public

   code for geospatial data analysis

   R

5. progcomp progcomp Public

   programación competitiva 1c2025

   C++

6. planetRhythmXD planetRhythmXD Public

   juego de ritmo para la DCUBA-JAM game jam

   GDScript