Skip to content
View gmcninch-tufts's full-sized avatar
2 followers · 1 following

Block or report gmcninch-tufts

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 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
gmcninch-tufts/README.md

gmcninch-tufts

gmcninch-tufts

Popular repositories Loading

  1. 2024-Sp-Math190 2024-Sp-Math190 Public

    Jupyter Notebook 2

  2. VERSEIM-2025 VERSEIM-2025 Public

    repo for the formalization project in VERSEIM-REU at Tufts 2025

    Lean 2 1

  3. AY2020-21--2020-fa--math87-notebooks AY2020-21--2020-fa--math87-notebooks Public

    AY2020-2021--2020-fa--Math87 Notebooks [teaching,tufts]

    Jupyter Notebook

  4. math math Public

    my math-department web page [hakyll,haskell]

    HTML

  5. 2024-Sp-Math087 2024-Sp-Math087 Public

    Jupyter Notebook

  6. math190formalize math190formalize Public

    Lean