8000 Kamirus (Kamil Listopad) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Kamirus's full-sized avatar
🧗‍♂️
train hard, climb harder 💪
🧗‍♂️
train hard, climb harder 💪
19 followers · 6 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Organizations

@lambdaterms

Block or report Kamirus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

1 star written in Coq
Clear filter

wkolowski / Typonomikon

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

Coq 12 Updated Apr 23, 2025
0