Skip to content
View Dav1com's full-sized avatar
10 followers · 8 following
  • Santiago, Chile
  • 13:12 (UTC -03:00)

Achievements

Achievement: Public SponsorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@progcompuch @El-Traductor-De-Ingenieria

Block or report Dav1com

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Dav1com/README.md
  • 👋 Hi, I’m @Dav1com, a 4th year student of Computer Engineering at Facultad de Ciencias Físicas y Matemáticas of Universidad de Chile
  • Currently interested in formal methods, abstract interpretation, formal semantics and proof assistants

Popular repositories Loading

  1. minerva-report-fcfm minerva-report-fcfm Public

    Template de Typst para informes de tareas, laboratorios o trabajos. Pensado para la Facultad de Ciencias Físicias y Matemáticas de la Universidad de Chile.

    Typst 5

  2. CC3101_2021 CC3101_2021 Public

    Forked from ahevia/CC3101_2021

    Matemáticas Discretas para la Computación, Semestre Primavera 2021

    Lean 1

  3. apunte apunte Public

    Forked from progcompuch/apunte

    Apunte con materia de Programación Competitiva. Disponible en uchile.progcomp.cl :)

    SCSS

  4. cses-standings-api cses-standings-api Public

    PHP

  5. vim-config vim-config Public

    Vim Script

  6. CC3101-trabajo-1 CC3101-trabajo-1 Public archive

    Python