Skip to content
View 3abc's full-sized avatar
6 followers · 3 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report 3abc

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. cubical cubical Public

    Forked from agda/cubical

    Agda

  2. cubicaltt cubicaltt Public

    Forked from mortberg/cubicaltt

    Experimental implementation of Cubical Type Theory

    Haskell

  3. latex-input latex-input Public

    Forked from clarkgrubb/latex-input

    Enter Unicode characters using LaTeX notation

    AutoHotkey

  4. natural_number_game natural_number_game Public

    Forked from ImperialCollegeLondon/natural_number_game

    Building the natural numbers in Lean.

    Lean

  5. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    Lean mathematical components library

    Lean

  6. GrinPlusPlusUI GrinPlusPlusUI Public

    Forked from GrinPlusPlus/GrinPlusPlusUI

    TypeScript