Skip to content
View kobkaz's full-sized avatar

Highlights

  • Pro

Block or report kobkaz

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

    Coq

  2. coq_DFA coq_DFA Public

    Coq

  3. CUDAPathTracer CUDAPathTracer Public

    C++

  4. coq_data_structure coq_data_structure Public

    Coq

  5. coq_isabelle_compare coq_isabelle_compare Public

    compare coq and isabelle side-by-side

    Coq

  6. TPPMark2018 TPPMark2018 Public

    Coq