Skip to content
View kothmann1's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report kothmann1

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. jek5bhgpa jek5bhgpa Public

    GP-A jek5bh

    Python

  2. complogic-s21 complogic-s21 Public

    Forked from kevinsullivan/complogic-s21

    Computational Logic For All

    Lean

  3. Class-Activity-0 Class-Activity-0 Public

    Forked from yamartinez/Class-Activity-0

    Getting familiar with Github

  4. smart_and_health_buildings smart_and_health_buildings Public

    Smart and Healthy Buildings Lab 1

    Python

  5. smart_and_healthy_buildings smart_and_healthy_buildings Public

    Class repo for CS 6501- S&HB

    Python

  6. cs6501s22 cs6501s22 Public

    Forked from kevinsullivan/cs6501s22

    CS6501: Introduction to Type Theory and Applications

    Lean