Skip to content
View shetzl's full-sized avatar
13 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@gapt

Block or report shetzl

Report abuse

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

Report abuse

Pinned Loading

  1. gapt/gapt gapt/gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 111 19