Skip to content
View langacristian's full-sized avatar
Block or Report

Block or report langacristian

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

  1. Thesis-code Thesis-code Public

    Python 1

  2. testing.for.latex testing.for.latex Public

    Here is the code I used to experiment with running times

    C++

  3. Space-Guy-Beta Space-Guy-Beta Public

    This is the beta of the project for the Individual Project course

    Python

  4. Space-Guy-Final-Version Space-Guy-Final-Version Public

    Python

  5. Formal-Methods-Project Formal-Methods-Project Public

    Dafny

  6. Team-Project Team-Project Public

    Here is the code for our project

    Java