Skip to content
View arthuraa's full-sized avatar
121 followers · 21 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report arthuraa

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

  1. poleiro poleiro Public

    A blog about Coq

    Coq 46 5

  2. extructures extructures Public

    Finite sets and maps for Coq with extensional equality

    Coq 30 6

  3. deriving deriving Public

    Class instances for Coq inductive types with little boilerplate

    Coq 24 9

  4. agda-hoas-demo agda-hoas-demo Public

    Experiments with higher-order abstract syntax in Agda

    Agda 19 1

  5. memory-safe-language memory-safe-language Public

    A formalization of properties of a simple imperative, memory-safe language.

    Coq 18 1

  6. coq-utils coq-utils Public

    Some basic libraries for Coq.

    Coq 14 3