Skip to content
View kornevgen's full-sized avatar
16 followers · 2 following
  • Lomonosov MSU / Ivannikov Institute for System Programming (ISPRAS)
  • Moscow, Russia

Block or report kornevgen

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. mfsp mfsp Public

    Course on formal verification of C programs

    TeX 5

  2. tesla-project tesla-project Public

    Automatically exported from code.google.com/p/tesla-project

    TeX 1 1

  3. min_test_pg min_test_pg Public

    Research on a minimal assembly test program generation

    Python

  4. vscode-python vscode-python Public

    Forked from microsoft/vscode-python

    Python extension for Visual Studio Code

    TypeScript