Skip to content
View gmagaf's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report gmagaf

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

Popular repositories Loading

  1. Bouquet-HoTT-Cubical-Agda Bouquet-HoTT-Cubical-Agda Public

    Agda

  2. cubical cubical Public

    Forked from agda/cubical

    An experimental library for Cubical Agda

    Agda

  3. EvCharge EvCharge Public

    Java

  4. spring-2024 spring-2024 Public

    Forked from Mastermath-HoTT/spring-2024

    Repository for the Spring 2024 run of the Mastermath HoTT course

    Coq