Skip to content
View clarus's full-sized avatar
🐻
☾λ
🐻
☾λ
326 followers · 1.1k following

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Highlights

  • Pro

Organizations

@coq-bench @coq-concurrency @coq-io

Block or report clarus

Report abuse

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

Report abuse

Search results

  • There aren't any projects yet