Block or Report
Block or report alexandru-duca
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
chess-openings
chess-openings PublicForked from lichess-org/chess-openings
An aggregated data set of chess opening names
Python
-
mathematics_in_lean_source
mathematics_in_lean_source PublicForked from avigad/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Lean
-
alexandru-duca-mathlib4
alexandru-duca-mathlib4 PublicForked from leanprover-community/mathlib4
Four Color Theorem addition to mathlib
Lean
-
Scrabble-Analytics
Scrabble-Analytics PublicForked from aydinschwa/Scrabble-Solver
Analytics for the board game Scrabble
Python
If the problem persists, check the GitHub status page or contact support.