Skip to content
View rnagasam's full-sized avatar
32 followers · 45 following
  • Stevens Institute of Technology
  • Hoboken, NJ

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report rnagasam

Report abuse

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

Report abuse

Pinned Loading

  1. dnaumann/RelRL dnaumann/RelRL Public

    Relational region logic verification tool

    OCaml 1 2