Home Original page

kotoromo - Overview

View kotoromo's full-sized avatar

Nicky García kotoromo

Math student at UNAM. I really like category theory, homotopy type theory and computer proof assistants. I'm also a data science enthusiast.

Block or report kotoromo

Pinned Loading

  1. Proyecto Final del Programa de Data Science impartido por BEDU

    Jupyter Notebook 2

  2. Cuadernos de Jupyter con implementaciones desde cero (con Pandas y Numpy) de KMeans y KMedoids. Análisis de mnist con KNN.

    Jupyter Notebook

  4. Search Agents System for PROTECO's IA 2017-2 Course

    Python

  5. Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.

    HTML