Skip to content
View Rida-Hamadani's full-sized avatar
📖
λ✨
📖
λ✨
46 followers · 23 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinairex3Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: Pair Extraordinairex3Achievement: YOLO

Block or report Rida-Hamadani

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

Hi, I'm Rida

I'm interested in the areas where mathematics and computers intersect.

I'm usually contributing to Lean's mathlib. I'm currently reading:

  • Art of Computer Programming Vol. 4 - Knuth
  • Metaprogramming in Lean
  • Algebraic Topology - Hatcher
  • Algebraic Graph Theory - Royle

My coat of arms:

ridactio ad absurdum

Pinned Loading

  1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 2.8k 1k

  2. Math-Notes Math-Notes Public

    Personal notes for studying first year masters program at the Lebanese University

    5 1

  3. Ivan-Sergeyev/seymour Ivan-Sergeyev/seymour Public

    This project is about formally verifying Seymour's decomposition theorem for regular matroids.

    Lean 40 13

  4. Polaads Polaads Public

    Performs polynomial computations

    Java 1