Skip to content
View rokopt's full-sized avatar
53 followers · 6 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report rokopt

Report abuse

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

Report abuse

Pinned Loading

  1. geb-mathlib geb-mathlib Public

    Lean 4 + mathlib formalisation of Geb, a categorical programming language

    Shell