Skip to content
View pavel-ivanov-rnd's full-sized avatar
0 followers · 1 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark

Organizations

@StableBattle

Block or report pavel-ivanov-rnd

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. verker verker Public

    Forked from evdenis/verker

    Linux kernel library functions formally verified.

    C

  2. coq_software_foundations coq_software_foundations Public

    HTML

  3. iris-heaplang-experiments iris-heaplang-experiments Public

    Coq

  4. ConCert ConCert Public

    Forked from AU-COBRA/ConCert

    A framework for smart contract verification in Coq

    Coq

  5. DDAA-smart-contracts DDAA-smart-contracts Public

    Smart contracts for DDAA app

    Solidity

  6. DDAA-subgraph DDAA-subgraph Public

    Subgraph for fetching data from DDAA contract

    TypeScript