Skip to content
View mayanksolanki393's full-sized avatar
2 followers · 0 following

Block or report mayanksolanki393

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
mayanksolanki393/README.md
  • 👋 Hi, I’m Mayank Solanki @mayanksolanki393
  • 👀 I’m interested in Compilers, Program Analysis, Verification and Synthesis
  • 🌱 I’m currently learning/working on Program Verification
  • 💞️ I’m looking to collaborate on nothing for now

Popular repositories Loading

  1. about about Public

    HTML

  2. mayanksolanki393 mayanksolanki393 Public

    Config files for my GitHub profile.

  3. mayanksolanki.github.io mayanksolanki.github.io Public

    HTML

  4. snakes snakes Public

    JavaScript

  5. corral-traceInlining corral-traceInlining Public

    Forked from boogie-org/corral

    solver for the reachability modulo theories problem

    Boogie

  6. vscode-smtlib-lang vscode-smtlib-lang Public

    VS Code extension for syntax highlighting