Skip to content
View Kha's full-sized avatar
240 followers · 9 following

Sponsoring

@YaLTeR

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@leanprover @IPDSnelting

Block or report Kha

Report abuse

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

Report abuse

Earned achievements

Achievement: Public Sponsor

Public Sponsor
Loading
Achievement: Pair Extraordinaire

Pair Extraordinaire

x3
Loading
Achievement: Quickdraw

Quickdraw
Loading
Achievement: YOLO

YOLO
Loading
Achievement: Arctic Code Vault Contributor

Arctic Code Vault Contributor
Loading
Achievement: Starstruck

Starstruck

x2
Loading
Achievement: Pull Shark

Pull Shark

x3
Loading