Skip to content
View kevinsullivan's full-sized avatar

Highlights

  • Pro

Block or report kevinsullivan

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 Loading

  1. cs1113f16 cs1113f16 Public

    CS1 through Type Theory

    HTML 15 2

  2. cs-dm cs-dm Public

    CS2012 UVa CS Discrete Math Spring 2018

    Lean 15 20

  3. TLAPlusDocker TLAPlusDocker Public

    Dockerfile 9 29

  4. uva-cs-dm-s19 uva-cs-dm-s19 Public

    UVa Discrete Math Spring 2019

    Lean 8 1

  5. cs6501s23 cs6501s23 Public

    Formal Mathematics for Software Design

    HTML 6 6

  6. cs2120f22 cs2120f22 Public

    CS 2120 Fall 2022

    Lean 4 89