Skip to content
View Zdancewic's full-sized avatar
65 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Block or report Zdancewic

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

Popular repositories Loading

  1. linearity linearity Public

    Formalization of Linear Logic and Related Programming Languages Metatheory

    Coq 10 2

  2. ccc ccc Public

    OCaml 4

  3. owl owl Public

    Forked from ocaml-community/utop

    Universal toplevel for OCaml

    OCaml 3

  4. oplss2024 oplss2024 Public

    OPLSS 2024 Coq Development

    HTML 3

  5. coq-ext-lib coq-ext-lib Public

    Coq 2

  6. graphs graphs Public

    Coq formalization of graph language

    Coq 2