Skip to content
View pratapsingh1729's full-sized avatar

Highlights

  • Pro

Block or report pratapsingh1729

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

Pinned Loading

  1. secure-foundations/owl secure-foundations/owl Public

    Compositional Verification of Security Protocols

    Haskell 11 2

  2. adapting-verified-compilation adapting-verified-compilation Public

    Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.

    Coq

  3. bedrock2 bedrock2 Public

    Forked from mit-plv/bedrock2

    A work-in-progress language and compiler for verified low-level programming

    Coq

  4. riscv-semantics riscv-semantics Public

    Forked from mit-plv/riscv-semantics

    A formal semantics of the RISC-V ISA in Haskell

    Haskell