Pinned Repositories
mathlib4
The math library of Lean 4
awesome-number-theory
A list of awesome number theory resources
blog
Source for the community blog
Caissa-chan
Discord bot that replies to FEN with an image of the position
carleson
A formalized proof of Carleson's theorem in Lean
facecook
Walter White's e-commerce website.
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
LeanHS1960
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Polaads
Performs polynomial computations
Rida-Hamadani's Repositories
Rida-Hamadani/awesome-number-theory
A list of awesome number theory resources
Rida-Hamadani/blog
Source for the community blog
Rida-Hamadani/Caissa-chan
Discord bot that replies to FEN with an image of the position
Rida-Hamadani/carleson
A formalized proof of Carleson's theorem in Lean
Rida-Hamadani/facecook
Walter White's e-commerce website.
Rida-Hamadani/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Rida-Hamadani/LeanHS1960
Rida-Hamadani/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Rida-Hamadani/lishogi
☗ lishogi.org: the forever free, adless and open source shogi server forked from lichess.org ☗
Rida-Hamadani/Polaads
Performs polynomial computations
Rida-Hamadani/scandiweb-test-task
A test task for junior web developer position at scandiweb.
Rida-Hamadani/NNG4
Natural Number Game
Rida-Hamadani/Rida-Hamadani