Skip to content
View nimarasekh's full-sized avatar
👺
Always working!
👺
Always working!
25 followers · 16 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: QuickdrawAchievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: QuickdrawAchievement: Pair Extraordinaire

Highlights

  • Pro

Block or report nimarasekh

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

Hi! Welcome to my GitHub Page

I am postdoc at the Universität Greifswald in Greifswald, Germany, in the research group of Konrad Waldorf and Matthias Ludewig.

There I am a mathematician primarily interested in understanding the role of equalities in mathematics, otherwise known as homotopy theory.

I believe formalization of matheamtics via proof assistants can be an important step towards better understanding homotopy theory. As a result, I have contributed to various formalization projects, including contributions to Coq UniMath and Rzk. My GitHub repo contains content from both mathematics and computer science:

  1. Teaching Lean: In Summer 2026 I am teaching an introductory course on Lean with a lot of course material.

More general information about me and my work can be found on my Academic Webpage.

Popular repositories Loading

  1. Formalization-SoSe25 Formalization-SoSe25 Public

    Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald

    Lean 19 10

  2. ACT-WiSe25 ACT-WiSe25 Public

    Teaching Material for Seminar on Applied Category Theory

    4 1

  3. Formalization-SoSe26 Formalization-SoSe26 Public

    Teaching Material for Course on Formalization Summer Semester 2026 at Uni Greifswald

    Lean 1 1

  4. DVM DVM Public

    Forked from redavids/DVM

    ANU image analysis code "diamorse" -applied to materials science

    C++

  5. DoubleCategories DoubleCategories Public

    Formalization of Double Categories in UniMath via Coq

    Coq

  6. UniMath UniMath Public

    Forked from UniMath/UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq