Skip to content
View bellasalter's full-sized avatar

Highlights

  • Pro

Block or report bellasalter

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. Coq-intro Coq-intro Public

    A simple, basic introduction to the proof assistant Coq. This was made as a project for my discrete math for computer science course.

    Coq 1 1

  2. first-r-project first-r-project Public

    My first R project

    R

  3. predicting-growth predicting-growth Public

    Python

  4. ml-ex ml-ex Public

    Jupyter Notebook

  5. stats-papers stats-papers Public

  6. mc-mc mc-mc Public

    HTML