Skip to content
View knuton's full-sized avatar
🌱
🌱
53 followers · 14 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@coollogic @dividat

Block or report knuton

Report abuse

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

Report abuse

Pinned Loading

  1. la-girafe-sportive la-girafe-sportive Public

    Coq-verified statements about lambda calculi.

    Coq 5 2

  2. stubb stubb Public

    Specify REST API stubs using your file system.

    Ruby 285 8