Skip to content
View FernandoChu's full-sized avatar
💭
Still Alive
💭
Still Alive
12 followers · 24 following
  • Lima, Peru

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report FernandoChu

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
FernandoChu/README.md

Hi there 👋

I'm Fernando Chu, and I'm very interested in topics related to mathematical logic. In particular, I'm learning more about type theories, and using them to formalize mathematics.

About me

  • 🎓 Master in Pure Mathematics at Universidad Nacional Mayor de San Marcos.
  • 💻 My favorite language is Agda, and I've done some formalizations in personal and public projects.
  • ❤️ I'm a firm believer of open software and science.
  • 💬 Feel free to contact me about anything :)

Pinned

  1. HoTT-Book-Agda HoTT-Book-Agda Public

    The content of the HoTT book formalized in Agda

    Agda 7

  2. agda-unimath agda-unimath Public

    Forked from UniMath/agda-unimath

    Univalent mathematics in Agda

    Agda

  3. MastersThesis MastersThesis Public

    Formalization of my thesis in Agda

    TeX 1

  4. UTT UTT Public

    Categorical semantics in agda for Unary Type Theory

    Agda